commented out a debugging message

[helm.git] / helm / ocaml / cic_transformations / tacticAst2Box.ml

diff --git a/helm/ocaml/cic_transformations/tacticAst2Box.ml b/helm/ocaml/cic_transformations/tacticAst2Box.ml
index 3c4026f95137deba0ecb6da57323c2cfd5f43770..5d8fae1b6f463961d2610e80199602172ad158c0 100644 (file)
--- a/helm/ocaml/cic_transformations/tacticAst2Box.ml
+++ b/helm/ocaml/cic_transformations/tacticAst2Box.ml
@@ -93,7 +93,7 @@ let rec count_tactic current_size tac =
 
 let is_big_tac tac =
   let n = (count_tactic 0 tac) in
-  prerr_endline ("Lunghezza: " ^ (string_of_int n));
+(*   prerr_endline ("Lunghezza: " ^ (string_of_int n)); *)
   n > maxsize
 ;;