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: make_still_working~6465
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=81274b8854c941071afc53719861676bcff7a73f;p=helm.git

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

diff --git a/helm/software/components/tactics/auto.ml b/helm/software/components/tactics/auto.ml
index 59e90e6da..aca89bd4a 100644
--- a/helm/software/components/tactics/auto.ml
+++ b/helm/software/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 *)