fix nb_getval
This commit is contained in:
parent
149ef50865
commit
27d92de39a
@ -24,7 +24,7 @@
|
||||
:- op(900,fx,[spy,nospy]).
|
||||
|
||||
'$init_debugger' :-
|
||||
nb_getval('$trace', _, fail), !.
|
||||
'$nb_getval'('$trace', _, fail), !.
|
||||
'$init_debugger' :-
|
||||
nb_setval('$trace',off),
|
||||
nb_setval('$if_skip_mode',no_skip),
|
||||
|
Reference in New Issue
Block a user