From 709a19069b4221c85d27d0d79079a30b4a853a83 Mon Sep 17 00:00:00 2001
From: ronny
Date: Thu, 5 Oct 2000 10:19:23 +0000
Subject: Added BESetMainDclModuleN, updated version

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@250 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 backendC/CleanCompilerSources/backend.dcl | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'backendC/CleanCompilerSources/backend.dcl')

diff --git a/backendC/CleanCompilerSources/backend.dcl b/backendC/CleanCompilerSources/backend.dcl
index 48ad039..c346245 100644
--- a/backendC/CleanCompilerSources/backend.dcl
+++ b/backendC/CleanCompilerSources/backend.dcl
@@ -1,6 +1,8 @@
 definition module backend;
 
+//1.3
 from StdString import String;
+//3.1
 
 :: *UWorld :== Int;
 :: *BackEnd; // :== Int;
@@ -216,11 +218,12 @@ BEExportFunction :: !Int !Int !BackEnd -> BackEnd;
 // void BEExportFunction(int dclFunctionIndex,int iclFunctionIndex);
 BEDefineImportedObjsAndLibs :: !BEStringListP !BEStringListP !BackEnd -> BackEnd;
 // void BEDefineImportedObjsAndLibs(BEStringListP objs,BEStringListP libs);
-kBEVersionCurrent:==0x02000203;
-kBEVersionOldestDefinition:==0x02000203;
-kBEVersionOldestImplementation:==0x02000203;
+BESetMainDclModuleN :: !Int !BackEnd -> BackEnd;
+// void BESetMainDclModuleN(int main_dcl_module_n_parameter);
+kBEVersionCurrent:==0x02000204;
+kBEVersionOldestDefinition:==0x02000204;
+kBEVersionOldestImplementation:==0x02000204;
 kBEDebug:==1;
-kIclModuleIndex:==0;
 kPredefinedModuleIndex:==1;
 BENoAnnot:==0;
 BEStrictAnnot:==1;
-- 
cgit v1.2.3