From 9b088119c751f86d67af8e38c56b5f7c03b18596 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 16 Apr 2009 16:33:49 -0500
Subject: [PATCH] fix a case where one can creep inside the debugger.

---
 pl/debug.yap | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pl/debug.yap b/pl/debug.yap
index 875140aa9..46638745c 100644
--- a/pl/debug.yap
+++ b/pl/debug.yap
@@ -475,6 +475,8 @@ debugging :-
 	% use the interpreter
 	CP is '$last_choice_pt',
 	'$clause'(G, M, Cl, _),
+	% I may backtrack to here from far away
+	'$disable_docreep',	
 	( '$do_spy'(Cl, M, CP, CalledFromDebugger) ; InRedo = true ).
 '$spycall'(G, M, CalledFromDebugger, InRedo) :-
 	'$undefined'(G, M), !,
@@ -492,6 +494,8 @@ debugging :-
 	% I lost control here.
 	CP is '$last_choice_pt',
 	'$static_clause'(G,M,_,R),
+	% I may backtrack to here from far away
+	 '$disable_docreep',	
 	(
 	 '$continue_debugging'(no, '$execute_clause'(G, M, R, CP))
 	;