X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent_pres%2FcicNotationPres.ml;h=0602548a10039b6bcced4e07f9ac9b80b0302d36;hb=926bd86002f91d2bf2a3ce7376309f5106268959;hp=fe9b5f869b45fcd2e302e5b1f8a44863b5ac3a24;hpb=66be8fbe19e2ccfa0e6a7abeba605152d1322595;p=helm.git

diff --git a/matita/components/content_pres/cicNotationPres.ml b/matita/components/content_pres/cicNotationPres.ml
index fe9b5f869..0602548a1 100644
--- a/matita/components/content_pres/cicNotationPres.ml
+++ b/matita/components/content_pres/cicNotationPres.ml
@@ -200,7 +200,7 @@ let add_parens child_prec curr_prec t =
 
 let render status ~lookup_uri ?(prec=(-1)) =
   let module A = Ast in
-  let module P = Mpresentation in
+  (*let module P = Mpresentation in*)
 (*   let use_unicode = true in *)
   let make_href xmlattrs xref =
     let xref_uris =