fix user-c spying.
This commit is contained in:
Submodule packages/pldoc updated: d418910711...b1c05f2dfb
@@ -495,7 +495,7 @@ debugging :-
|
|||||||
'$continue_debugging'(no, '$execute_nonstop'(G,M)).
|
'$continue_debugging'(no, '$execute_nonstop'(G,M)).
|
||||||
'$spycall'(G, M, CalledFromDebugger, InRedo) :-
|
'$spycall'(G, M, CalledFromDebugger, InRedo) :-
|
||||||
'$flags'(G,M,F,F),
|
'$flags'(G,M,F,F),
|
||||||
F /\ 0x18402000 =\= 0, !, % dynamic procedure, logical semantics, user-C, or source
|
F /\ 0x08402000 =\= 0, !, % dynamic procedure, logical semantics, or source
|
||||||
% use the interpreter
|
% use the interpreter
|
||||||
CP is '$last_choice_pt',
|
CP is '$last_choice_pt',
|
||||||
'$clause'(G, M, Cl, _),
|
'$clause'(G, M, Cl, _),
|
||||||
|
Reference in New Issue
Block a user