diff --git a/pl/debug.yap b/pl/debug.yap index 5f1c10c85..47201ece8 100644 --- a/pl/debug.yap +++ b/pl/debug.yap @@ -571,7 +571,7 @@ debugging :- %'$action'(10,_,_,_,_,on) :- % newline creep % nb_setval('$debug_jump',false). -'$action'(10,_,_,_,_,on) :- % newline creep +'$action'(10,_,_,_,_,on) :- !, % newline creep nb_setval('$debug_jump',false). '$action'(0'!,_,_,_,_,_) :- !, % ! 'g execute read(user,G),