improve thread startup

2012-12-13 18:12:50 +00:00
parent c4448d066a
commit 9107af2e3d
13 changed files with 97 additions and 98 deletions
--- a/C/save.c
+++ b/C/save.c
@@ -1794,7 +1794,7 @@ Restore(char *s, char *lib_dir USES_REGS)
  Yap_InitSysPath();
 #if USE_DL_MALLOC || USE_SYSTEM_MALLOC
  if (!AuxSp) {
-    Yap_InitPreAllocCodeSpace();
+    Yap_InitPreAllocCodeSpace( 0 );
  }
 #endif
  CloseRestore();