X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationPres.ml;fp=helm%2Focaml%2Fcic_notation%2FcicNotationPres.ml;h=c66566613f64e57fffa33d74896337d11310c11c;hb=b66e2a4ea05a9a53b1c4c1d7051de0419ccc441b;hp=e8458a0738a08f1136b090867db5aea3c55c8078;hpb=5a7ff7a3ce24bd14385d2295a1c77fad4b876cb8;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationPres.ml b/helm/ocaml/cic_notation/cicNotationPres.ml
index e8458a073..c66566613 100644
--- a/helm/ocaml/cic_notation/cicNotationPres.ml
+++ b/helm/ocaml/cic_notation/cicNotationPres.ml
@@ -48,7 +48,7 @@ let rec make_attributes l1 = function
       | None -> make_attributes (List.tl l1) tl
       | Some s ->
           let p,n = List.hd l1 in
-          prerr_endline (Printf.sprintf "make_attributes %s %s" n s);
+(*           prerr_endline (Printf.sprintf "make_attributes %s %s" n s); *)
           hd := None;
           (p,n,s) :: make_attributes (List.tl l1) tl)