From ed3cc138a0066b654db61f28a176c54d35a4ddc3 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 23 Feb 2004 16:04:24 +0000 Subject: [PATCH] commented out a debugging message --- helm/ocaml/cic_transformations/tacticAst2Box.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ;; -- 2.39.2