Removed debug printings.

diff --git a/helm/software/components/ng_tactics/nnAuto.ml b/helm/software/components/ng_tactics/nnAuto.ml
index d719b8a96fb4b57636a5d278f9918cb6622272c1..c8a2c9c4a6b74ffbd255eeea2296124114473af6 100644 (file)
--- 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