X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Fcontent_pres%2FcicNotationPres.mli;h=57e7ee84463ee565399346248e19d8e75db9726c;hb=56fb3c39cc9186ad2700b0ee8ca37f8d759c2376;hp=a558da86622ee92cf62b1928834efbd63b4b157c;hpb=8161bcb58808e60658072bc3da83b62d1df2a223;p=helm.git

diff --git a/matita/components/content_pres/cicNotationPres.mli b/matita/components/content_pres/cicNotationPres.mli
index a558da866..57e7ee844 100644
--- a/matita/components/content_pres/cicNotationPres.mli
+++ b/matita/components/content_pres/cicNotationPres.mli
@@ -39,6 +39,7 @@ val box_of_mpres: mathml_markup -> boxml_markup
  * @param ids_to_uris mapping id -> uri for hyperlinking
  * @param prec precedence level *)
 val render:
+ #NCic.status ->
  lookup_uri:(Content.id -> string option) -> ?prec:int -> NotationPt.term ->
   markup