From c3dd558741af2824fd6797f1615e1eebc7c03432 Mon Sep 17 00:00:00 2001
From: ronny
Date: Wed, 9 May 2001 12:40:55 +0000
Subject: corrected version number

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@411 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 backend/backend.dcl | 4 ++--
 backend/backend.icl | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'backend')

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;
-- 
cgit v1.2.3