From 0e1fae17d96c12d3b148d7eb2a881e03c4a472e7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Manuel=20de=20Morais=20Santos=20Costa?= Date: Wed, 4 Nov 2009 12:29:09 +0000 Subject: [PATCH] make sure action is deterministic on key input. --- pl/debug.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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),