snapshot

[helm.git] / helm / ocaml / cic_notation / cicNotationTag.ml

diff --git a/helm/ocaml/cic_notation/cicNotationTag.ml b/helm/ocaml/cic_notation/cicNotationTag.ml
index 336f204b7b32f2d26cd5dadb928b6a64d20bf841..b454cf24df3508c00ae21e29e0558363dbdd2edf 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationTag.ml
+++ b/helm/ocaml/cic_notation/cicNotationTag.ml
@@ -29,7 +29,6 @@ type tag = int
 type pattern_t = CicNotationPt.term
 
 let get_tag term0 =
-  prerr_endline "get_tag";
   let subterms = ref [] in
   let map_term t =
     subterms := t :: !subterms ; 
@@ -42,7 +41,6 @@ let get_tag term0 =
   in
   let term_mask = aux term0 in
   let tag = Hashtbl.hash term_mask in
-  Printf.printf "TAG = %d\n" tag ; flush stdout ;
   tag, !subterms
 
 let compatible t1 t2 =