From 6692a5888c5646d387c45faf3562cfa477fd143a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20de=20Costa?= Date: Fri, 10 Oct 2008 00:39:24 +0100 Subject: [PATCH] make sure we force debug_jump false on creep. --- pl/debug.yap | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/pl/debug.yap b/pl/debug.yap index 49034a868..82bc309e2 100644 --- a/pl/debug.yap +++ b/pl/debug.yap @@ -558,7 +558,8 @@ debugging :- '$debugger_write'(Stream, G) :- writeq(Stream, G). -'$action'(10,_,_,_,_,on). % newline creep +'$action'(10,_,_,_,_,on) :- + nb_setval('$debug_jump',false) % newline creep '$action'(0'!,_,_,_,_,_) :- !, % ! 'g execute read(user,G), % don't allow yourself to be caught by creep. @@ -588,7 +589,8 @@ debugging :- '$show_choicepoint_stack', fail. '$action'(0'c,_,_,_,_,on) :- !, % 'c creep - '$skipeol'(0'c). + '$skipeol'(0'c), + nb_setval('$debug_jump',false). '$action'(0'e,_,_,_,_,_) :- !, % 'e exit '$skipeol'(0'e), halt.