use BEGetIntFromArray instead of BECopyInts to fix a problem if integers

have different sizes in clean and c


git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1585 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d

1 files changed, 3 insertions, 1 deletions

diff --git a/backend/backend.dcl b/backend/backend.dcl
index 07cfbfe..2c696be 100644
--- a/backend/backend.dcl
+++ b/backend/backend.dcl
@@ -283,8 +283,10 @@ BESetMainDclModuleN :: !Int !BackEnd -> BackEnd;
 // void BESetMainDclModuleN (int main_dcl_module_n_parameter);
 BEStrictPositions :: !Int !BackEnd -> (!Int,!Int,!BackEnd);
 // void BEStrictPositions (int functionIndex,int* bits,int** positions);
-BECopyInts :: !Int !Int !Int -> Int;
+//BECopyInts :: !Int !Int !Int -> Int;
 // int BECopyInts (int cLength,int* ints,int* cleanArray);
+BEGetIntFromArray :: !Int !Int -> Int;
+// int BEGetIntFromArray (int index,int* ints);
 BEDeclareDynamicTypeSymbol :: !Int !Int !BackEnd -> BackEnd;
 // void BEDeclareDynamicTypeSymbol (int typeIndex,int moduleIndex);
 BEDynamicTempTypeSymbol :: !BackEnd -> (!BESymbolP,!BackEnd);