From 201283b23b8aa4d55cfe4e1dc19c24057803f2e0 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Fri, 19 Feb 2010 07:45:40 +0000 Subject: [PATCH] Removed debug printings. --- helm/software/components/ng_tactics/nnAuto.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2