aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--backend/backend.dcl4
-rw-r--r--backend/backend.icl4
2 files changed, 4 insertions, 4 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;
diff --git a/backend/backend.icl b/backend/backend.icl
index 2744e1d..6013282 100644
--- a/backend/backend.icl
+++ b/backend/backend.icl
@@ -647,8 +647,8 @@ BEDynamicTempTypeSymbol a0 = code {
};
// BESymbolP BEDynamicTempTypeSymbol ();
kBEVersionCurrent:==0x02000207;
-kBEVersionOldestDefinition:==0x02000207;
-kBEVersionOldestImplementation:==0x02000207;
+kBEVersionOldestDefinition:==0x02000204;
+kBEVersionOldestImplementation:==0x02000206;
kBEDebug:==1;
kPredefinedModuleIndex:==1;
BENoAnnot:==0;