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;