From 089e19102f95ba3d2187a673138894d44c758e9f Mon Sep 17 00:00:00 2001
From: johnvg
Date: Thu, 5 Jan 2006 13:44:32 +0000
Subject: 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
---
 backend/backend.dcl | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'backend/backend.dcl')

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