diff --git a/pl/consult.yap b/pl/consult.yap index d16755518..93e61a63e 100755 --- a/pl/consult.yap +++ b/pl/consult.yap @@ -321,7 +321,6 @@ use_module(M,F,Is) :- '$show_consult_level'(Level1), % it will be done after we leave the current consult level. Level is Level1-1, - writeln(+Level:G), recordz('$initialisation',do(Level,G),_), fail. '$initialization'(_). @@ -393,7 +392,6 @@ use_module(M,F,Is) :- (recorded('$initialisation',do(Level,G),R), erase(R), G\='$'), LGs), lists:member(G,LGs), - writeln(doing:Level:G), nb_getval('$system_mode', OldMode), ( OldMode == on -> '$exit_system_mode' ; true ), % run initialization under user control (so allow debugging this stuff).