diff --git a/pl/boot.yap b/pl/boot.yap index 1a94da811..13bac24f1 100644 --- a/pl/boot.yap +++ b/pl/boot.yap @@ -154,6 +154,7 @@ read_sig. '$startup_reconsult' :- get_value('$consult_on_boot',X), X \= [], !, + set_value('$consult_on_boot',[]), '$do_startup_reconsult'(X). '$startup_reconsult'.