diff --git a/pl/boot.yap b/pl/boot.yap index ded5bdade..fae85d12f 100644 --- a/pl/boot.yap +++ b/pl/boot.yap @@ -158,7 +158,7 @@ true :- true. set_value('$init_goal',[]), '$run_atom_goal'(GA), fail. -'$startup_goals' :- stop_low_level_trace. +'$startup_goals'. '$startup_reconsult' :- get_value('$consult_on_boot',X), X \= [], !,