From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 19 Feb 2010 07:45:40 +0000 (+0000)
Subject: Removed debug printings.
X-Git-Tag: make_still_working~3034
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=201283b23b8aa4d55cfe4e1dc19c24057803f2e0;p=helm.git

Removed debug printings.
---

diff --git a/helm/software/components/ng_tactics/nnAuto.ml b/helm/software/components/ng_tactics/nnAuto.ml
index d719b8a96..c8a2c9c4a 100644
--- a/helm/software/components/ng_tactics/nnAuto.ml
+++ b/helm/software/components/ng_tactics/nnAuto.ml
@@ -1963,7 +1963,7 @@ auto_main flags signature (cache:cache) depth status: unit =
     | orig::_ ->
         let ng = List.length goals in 
         if ng > flags.maxwidth then 
-          (print (lazy "FAIL WIDTH"); raise (Gaveup IntSet.empty))
+          (debug_print (lazy "FAIL WIDTH"); raise (Gaveup IntSet.empty))
         else if depth = flags.maxdepth then raise (Gaveup IntSet.empty)
         else
         let status = NTactics.branch_tac ~force:true status in