get rid of debug messages.
This commit is contained in:
parent
8d93e8f9b9
commit
0645040602
@ -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).
|
||||
|
Reference in New Issue
Block a user