From 89be8e257ea6a9b7e30a595c8294e0972d165a72 Mon Sep 17 00:00:00 2001
From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 7 Nov 2008 17:03:17 +0000
Subject: [PATCH] debug=false

---
 helm/software/components/tactics/auto.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);;
 
-- 
2.39.2