From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 9 Feb 2007 15:07:13 +0000 (+0000)
Subject: Debugging code fixed. To enable debugging just set debug to true at the
X-Git-Tag: 0.4.95@7852~606
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=909cdbb5ddf942e75558149c9f11819c6c84bc3a;p=helm.git

Debugging code fixed. To enable debugging just set debug to true at the
top of the file.
---

diff --git a/components/tactics/auto.ml b/components/tactics/auto.ml
index 59e90e6da..aca89bd4a 100644
--- a/components/tactics/auto.ml
+++ b/components/tactics/auto.ml
@@ -28,7 +28,7 @@ open AutoCache;;
 
 let debug = false;;
 let debug_print s = 
-  if debug then () else prerr_endline (Lazy.force s);;
+  if debug then prerr_endline (Lazy.force s);;
 
 (* functions for retrieving theorems *)