diff --git a/pl/boot.yap b/pl/boot.yap index 7cd41576f..78a6ec73d 100644 --- a/pl/boot.yap +++ b/pl/boot.yap @@ -1173,8 +1173,8 @@ throw(Ball) :- % % just leave this around to show the debugger. % -'$notrace'(G) :- - '$execute'(G). +'$notrace'(M:G) :- + '$execute0'(G, M). -'$oncenotrace'(G) :- - '$execute'(G), !. +'$oncenotrace'(M:G) :- + '$execute0'(G, M), !.