diff --git a/pl/boot.yap b/pl/boot.yap index 8f25a0200..b79152321 100644 --- a/pl/boot.yap +++ b/pl/boot.yap @@ -390,7 +390,9 @@ true :- true. % but YAP and SICStus does. % '$process_directive'(G, _, M) :- - ( '$notrace'(M:G) -> true ; format(user_error,':- ~w:~w failed.~n',[M,G]) ). + '$exit_system_mode', + ( '$notrace'(M:G) -> true ; format(user_error,':- ~w:~w failed.~n',[M,G]) ), + '$enter_system_mode'. '$continue_with_command'(reconsult,V,Pos,G,Source) :- '$go_compile_clause'(G,V,Pos,5,Source),