From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 23 Feb 2004 16:04:24 +0000 (+0000)
Subject: commented out a debugging message
X-Git-Tag: v0_0_4~102
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ed3cc138a0066b654db61f28a176c54d35a4ddc3;p=helm.git

commented out a debugging message
---

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
 ;;