patches to remove ints and be able to allocate a lot of memory in 64 bit mode.

2009-03-27 14:45:40 +00:00
parent 751426c610
commit 901161a413
3 changed files with 17 additions and 17 deletions
--- a/C/init.c
+++ b/C/init.c
@@ -1289,7 +1289,7 @@ InitVersion(void)


 void
-Yap_InitWorkspace(int Heap, int Stack, int Trail, int max_table_size, 
+Yap_InitWorkspace(UInt Heap, UInt Stack, UInt Trail, UInt max_table_size, 
                  int n_workers, int sch_loop, int delay_load)
 {
  int             i;