fix notrace so that it will not call goal_expansion and friends.
This commit is contained in:
parent
bb27cf9b66
commit
8b171db743
@ -1173,8 +1173,8 @@ throw(Ball) :-
|
|||||||
%
|
%
|
||||||
% just leave this around to show the debugger.
|
% just leave this around to show the debugger.
|
||||||
%
|
%
|
||||||
'$notrace'(G) :-
|
'$notrace'(M:G) :-
|
||||||
'$execute'(G).
|
'$execute0'(G, M).
|
||||||
|
|
||||||
'$oncenotrace'(G) :-
|
'$oncenotrace'(M:G) :-
|
||||||
'$execute'(G), !.
|
'$execute0'(G, M), !.
|
||||||
|
Reference in New Issue
Block a user