debugging
This commit is contained in:
parent
37d5dcedc1
commit
92994fb0e4
@ -113,7 +113,6 @@ undefined_query(G0, M0, Cut) :-
|
|||||||
|
|
||||||
% undef handler
|
% undef handler
|
||||||
'$undefp'([M0|G0],_) :-
|
'$undefp'([M0|G0],_) :-
|
||||||
start_low_level_trace,
|
|
||||||
% make sure we do not loop on undefined predicates
|
% make sure we do not loop on undefined predicates
|
||||||
setup_call_catcher_cleanup(
|
setup_call_catcher_cleanup(
|
||||||
'$undef_set'(Action,Debug,Current),
|
'$undef_set'(Action,Debug,Current),
|
||||||
|
Reference in New Issue
Block a user