X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2Fauto.ml;h=09156224ec280e4d149486521af62895e52b9587;hb=89be8e257ea6a9b7e30a595c8294e0972d165a72;hp=e7c11d43dfc9371613085d3ff2081562bdcccbb6;hpb=8e76ac2823de8cffc0b5f75b36264f86e3d0b52d;p=helm.git

diff --git a/helm/software/components/tactics/auto.ml b/helm/software/components/tactics/auto.ml
index e7c11d43d..09156224e 100644
--- a/helm/software/components/tactics/auto.ml
+++ b/helm/software/components/tactics/auto.ml
@@ -26,7 +26,7 @@
 open AutoTypes;;
 open AutoCache;;
 
-let debug = true;;
+let debug = false;;
 let debug_print s = 
   if debug then prerr_endline (Lazy.force s);;