]> matita.cs.unibo.it Git - helm.git/commitdiff
Removed debug printings.
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 19 Feb 2010 07:45:40 +0000 (07:45 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 19 Feb 2010 07:45:40 +0000 (07:45 +0000)
helm/software/components/ng_tactics/nnAuto.ml

index d719b8a96fb4b57636a5d278f9918cb6622272c1..c8a2c9c4a6b74ffbd255eeea2296124114473af6 100644 (file)
@@ -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