X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Ftactics%2Fauto.ml;h=aca89bd4a609a8b427aaa71fc4f8200786fc81b5;hb=78f2fb8fcf0bbd2521b67e4366b734ad88ebdc68;hp=59e90e6daec19d7aaa6c9e2b4c27f7f61c86feda;hpb=e00d05ab58597620345c2fd49b84a23efa8db34c;p=helm.git

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 *)