avoid creeping
This commit is contained in:
parent
c40899d8ec
commit
c428e2256d
@ -541,7 +541,7 @@ be lost.
|
|||||||
G10 = NM:NG,
|
G10 = NM:NG,
|
||||||
'$do_spy'(NG, NM, CP, spy).
|
'$do_spy'(NG, NM, CP, spy).
|
||||||
'$spycall'(G, M, _, _) :-
|
'$spycall'(G, M, _, _) :-
|
||||||
'$tabled_predicate'(G,M),
|
( '$is_system_predicate'(G,M) ; '$tabled_predicate'(G,M) ),
|
||||||
!,
|
!,
|
||||||
'$continue_debugging_goal'(no, '$execute_nonstop'(G,M)).
|
'$continue_debugging_goal'(no, '$execute_nonstop'(G,M)).
|
||||||
'$spycall'(G, M, CalledFromDebugger, InRedo) :-
|
'$spycall'(G, M, CalledFromDebugger, InRedo) :-
|
||||||
|
Reference in New Issue
Block a user