fix bad call to $execute in $spy
This commit is contained in:
parent
0028072865
commit
1b399e3433
@ -280,10 +280,10 @@ debugging :-
|
|||||||
% $spy may be called from user code, so be careful.
|
% $spy may be called from user code, so be careful.
|
||||||
'$spy'([Mod|G]) :-
|
'$spy'([Mod|G]) :-
|
||||||
'$debug_on'(F), F = false, !,
|
'$debug_on'(F), F = false, !,
|
||||||
'$execute'(G,Mod).
|
'$execute_nonstop'(G,Mod).
|
||||||
'$spy'([Mod|G]) :-
|
'$spy'([Mod|G]) :-
|
||||||
nb_getval('$system_mode',on), !,
|
nb_getval('$system_mode',on), !,
|
||||||
'$execute'(G,Mod).
|
'$execute_nonstop'(G,Mod).
|
||||||
'$spy'([Mod|G]) :-
|
'$spy'([Mod|G]) :-
|
||||||
CP is '$last_choice_pt',
|
CP is '$last_choice_pt',
|
||||||
'$do_spy'(G, Mod, CP, no).
|
'$do_spy'(G, Mod, CP, no).
|
||||||
|
Reference in New Issue
Block a user