diff --git a/pl/boot.yap b/pl/boot.yap index 9d6d8e7a0..060db8197 100644 --- a/pl/boot.yap +++ b/pl/boot.yap @@ -64,7 +64,6 @@ true :- true. '$stream_representation_error'(user_input, 512), '$stream_representation_error'(user_output, 512), '$stream_representation_error'(user_error, 512), - '$allocate_default_arena'(1024, 64), '$enter_system_mode', set_value(fileerrors,1), '$init_consult',