X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matitaB%2Fcomponents%2Fcontent_pres%2FcicNotationPres.ml;h=b99851adde81fe7a2cfc2fc57cce493704d13c86;hb=2474004a0121023f37f7656289938e307b0272e7;hp=e0ca07b563ab6c64c651e139cf4a8b5e10dd0e8a;hpb=1b67bd4dfa12ef25b8fa63884c71893b961db27d;p=helm.git

diff --git a/matitaB/components/content_pres/cicNotationPres.ml b/matitaB/components/content_pres/cicNotationPres.ml
index e0ca07b56..b99851add 100644
--- a/matitaB/components/content_pres/cicNotationPres.ml
+++ b/matitaB/components/content_pres/cicNotationPres.ml
@@ -249,7 +249,7 @@ let render status ?(prec=(-1)) =
       List.map boxify_pres (find_clusters terms) 
   in
   (fun t ->
-          prerr_endline ("ast:\n" ^ (NotationPp.pp_term status t));
+   (* prerr_endline ("ast:\n" ^ (NotationPp.pp_term status t));*)
   aux prec t)
 
 (* let render_to_boxml id_to_uri t =