2 files changed, 2 insertions, 2 deletions
diff --git a/backend/backend.dcl b/backend/backend.dcl
index 9730e6a..073b6dc 100644
--- a/backend/backend.dcl
+++ b/backend/backend.dcl
@@ -290,7 +290,7 @@ BEDeclareDynamicTypeSymbol :: !Int !Int !BackEnd -> BackEnd;
 // void BEDeclareDynamicTypeSymbol (int typeIndex,int moduleIndex);
 BEDynamicTempTypeSymbol :: !BackEnd -> (!BESymbolP,!BackEnd);
 // BESymbolP BEDynamicTempTypeSymbol ();
-kBEVersionCurrent:==0x02000216;
+kBEVersionCurrent:==0x02000800;
 kBEVersionOldestDefinition:==0x02000213;
 kBEVersionOldestImplementation:==0x02000216;
 kBEDebug:==1;
diff --git a/backend/backend.icl b/backend/backend.icl
index 3f914cb..0f281b1 100644
--- a/backend/backend.icl
+++ b/backend/backend.icl
@@ -794,7 +794,7 @@ BEDynamicTempTypeSymbol a0 = code {
 	ccall BEDynamicTempTypeSymbol ":I:I"
 };
 // BESymbolP BEDynamicTempTypeSymbol ();
-kBEVersionCurrent:==0x02000216;
+kBEVersionCurrent:==0x02000800;
 kBEVersionOldestDefinition:==0x02000213;
 kBEVersionOldestImplementation:==0x02000216;
 kBEDebug:==1;