diff options
| author | ronny | 2001-05-09 12:40:55 +0000 |
|---|---|---|
| committer | ronny | 2001-05-09 12:40:55 +0000 |
| commit | c3dd558741af2824fd6797f1615e1eebc7c03432 (patch) | |
| tree | 17167256c64de279a326ba9f16c45af438063488 /backend/backend.dcl | |
| parent | cases in backend (diff) | |
corrected version number
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@411 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backend/backend.dcl')
| -rw-r--r-- | backend/backend.dcl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/backend/backend.dcl b/backend/backend.dcl index 250972f..4d4cdb9 100644 --- a/backend/backend.dcl +++ b/backend/backend.dcl @@ -239,8 +239,8 @@ BEDeclareDynamicTypeSymbol :: !Int !Int !BackEnd -> BackEnd; BEDynamicTempTypeSymbol :: !BackEnd -> (!BESymbolP,!BackEnd); // BESymbolP BEDynamicTempTypeSymbol (); kBEVersionCurrent:==0x02000207; -kBEVersionOldestDefinition:==0x02000207; -kBEVersionOldestImplementation:==0x02000207; +kBEVersionOldestDefinition:==0x02000204; +kBEVersionOldestImplementation:==0x02000206; kBEDebug:==1; kPredefinedModuleIndex:==1; BENoAnnot:==0; |