From bdd625c8aee42ccf02287f17a8b86562b65d3cb0 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 24 Mar 2009 13:47:32 +0000
Subject: [PATCH] arena is allocated by the system now.

---
 pl/boot.yap | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pl/boot.yap b/pl/boot.yap
index 060db8197..84893dd71 100644
--- a/pl/boot.yap
+++ b/pl/boot.yap
@@ -953,7 +953,6 @@ break :-
 	nb_setval('$break',BL).
 
 '$silent_bootstrap'(F) :-
-	'$allocate_default_arena'(1024, 64),
 	'$init_consult',
 	nb_setval('$if_level',0),
 	nb_getval('$lf_verbose',OldSilent),