From 73cdfe0f5b0c096e766b19ce0bad204156b0da24 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Tue, 17 Nov 2009 00:23:22 +0000 Subject: [PATCH] oops in previous change :( --- pl/debug.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pl/debug.yap b/pl/debug.yap index e323a662a..31262c0f4 100644 --- a/pl/debug.yap +++ b/pl/debug.yap @@ -562,7 +562,7 @@ debugging :- ; GW = G ), - format(user_error,'~a~a~a (~d) ~q:',[Det,CSPY,SLL,L,P0]) + format(user_error,'~a~a~a (~d) ~q:',[Det,CSPY,SLL,L,P0]), '$debugger_write'(user_error,GW). '$unleashed'(call) :- get_value('$leash',L), L /\ 2'1000 =:= 0. %'