diff options
| author | ronny | 2005-01-10 04:16:16 +0000 |
|---|---|---|
| committer | ronny | 2005-01-10 04:16:16 +0000 |
| commit | c168e94407fd92235e0cca59daa9e6a64b522c94 (patch) | |
| tree | 0ce4fd55c698e000fa1124f7630594ce92b179b5 /backend | |
| parent | remove workaround for a bug in Clean 2.0, that seems to have been fixed already (diff) | |
changed version number and name of university
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1504 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend')
| -rw-r--r-- | backend/backend.dcl | 2 | ||||
| -rw-r--r-- | backend/backend.icl | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/backend/backend.dcl b/backend/backend.dcl index a0b03c5..07cfbfe 100644 --- a/backend/backend.dcl +++ b/backend/backend.dcl @@ -289,7 +289,7 @@ BEDeclareDynamicTypeSymbol :: !Int !Int !BackEnd -> BackEnd; // void BEDeclareDynamicTypeSymbol (int typeIndex,int moduleIndex); BEDynamicTempTypeSymbol :: !BackEnd -> (!BESymbolP,!BackEnd); // BESymbolP BEDynamicTempTypeSymbol (); -kBEVersionCurrent:==0x02100800; +kBEVersionCurrent:==0x02116000; kBEVersionOldestDefinition:==0x02100401; kBEVersionOldestImplementation:==0x02100401; kBEDebug:==1; diff --git a/backend/backend.icl b/backend/backend.icl index 765af9d..dbd4441 100644 --- a/backend/backend.icl +++ b/backend/backend.icl @@ -793,7 +793,7 @@ BEDynamicTempTypeSymbol a0 = code { ccall BEDynamicTempTypeSymbol ":I:I" } // BESymbolP BEDynamicTempTypeSymbol (); -kBEVersionCurrent:==0x02100800; +kBEVersionCurrent:==0x02116000; kBEVersionOldestDefinition:==0x02100401; kBEVersionOldestImplementation:==0x02100401; kBEDebug:==1; |