X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2FtacticAst2Box.ml;fp=helm%2Focaml%2Fcic_transformations%2FtacticAst2Box.ml;h=5d8fae1b6f463961d2610e80199602172ad158c0;hb=ed3cc138a0066b654db61f28a176c54d35a4ddc3;hp=3c4026f95137deba0ecb6da57323c2cfd5f43770;hpb=20488fad20d360b834140eac4e7e97ab2e14f13b;p=helm.git

diff --git a/helm/ocaml/cic_transformations/tacticAst2Box.ml b/helm/ocaml/cic_transformations/tacticAst2Box.ml
index 3c4026f95..5d8fae1b6 100644
--- 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
 ;;