small booting fixes

2019-01-30 10:44:28 +00:00
parent 55ea7d35a3
commit dfe0698f03
7 changed files with 481 additions and 522 deletions
--- a/C/globals.c
+++ b/C/globals.c
@@ -228,7 +228,7 @@ static Int p_default_arena_size(USES_REGS1) {
  return Yap_unify(ARG1, MkIntegerTerm(ArenaSz(LOCAL_GlobalArena)));
 }

-void Yap_AllocateDefaultArena(Int gsize, Int attsize, int wid) {
+void Yap_AllocateDefaultArena(size_t gsize, int wid) {
  REMOTE_GlobalArena(wid) = NewArena(gsize, wid, 2, NULL);
 }