diff --git a/pl/debug.yap b/pl/debug.yap index e512cbda2..6a9a0ac64 100644 --- a/pl/debug.yap +++ b/pl/debug.yap @@ -884,13 +884,12 @@ debugging :- display(user_error,Module:G), nl(user_error) ), '$skipeol'(100), fail. -'$action'(0'k,_,L,_,_,_) :- !, % k quasi skip - '$set_value'(spy_leap,L). '$action'(0'l,_,_,_,_,_) :- !, % l leap '$set_value'(spy_leap,1). '$action'(0'n,_,_,_,_,_) :- !, % n nodebug nodebug. '$action'(0'k,_,_,_,_,_) :- !, % k quasi leap + '$set_value'(spy_leap,1), '$set_yap_flags'(10,0). '$action'(0'r,P,L,_,_,_) :- !, % r retry ( P=call, !, '$ilgl'(114); true),