arena is allocated by the system now.

This commit is contained in:
Vitor Santos Costa 2009-03-24 13:47:32 +00:00
parent 4b65b063ca
commit bdd625c8ae

View File

@ -953,7 +953,6 @@ break :-
nb_setval('$break',BL). nb_setval('$break',BL).
'$silent_bootstrap'(F) :- '$silent_bootstrap'(F) :-
'$allocate_default_arena'(1024, 64),
'$init_consult', '$init_consult',
nb_setval('$if_level',0), nb_setval('$if_level',0),
nb_getval('$lf_verbose',OldSilent), nb_getval('$lf_verbose',OldSilent),