X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fcontent_pres%2FcicNotationPres.mli;h=1d06d19baccbeeace181a2a761bbef4f5a3298e5;hb=01001c883a8151edba81cd03a6f254d24a81c867;hp=04411df2b3d2e5ed394d04f33c74ac1ae5d05ace;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/content_pres/cicNotationPres.mli b/helm/software/components/content_pres/cicNotationPres.mli
index 04411df2b..1d06d19ba 100644
--- a/helm/software/components/content_pres/cicNotationPres.mli
+++ b/helm/software/components/content_pres/cicNotationPres.mli
@@ -36,8 +36,10 @@ val box_of_mpres: mathml_markup -> boxml_markup
 (** {2 Rendering} *)
 
 (** level 1 -> level 0
- * @param ids_to_uris mapping id -> uri for hyperlinking *)
-val render: (Cic.id, UriManager.uri) Hashtbl.t -> CicNotationPt.term -> markup
+ * @param ids_to_uris mapping id -> uri for hyperlinking
+ * @param prec precedence level *)
+val render:
+ (Cic.id, UriManager.uri) Hashtbl.t -> ?prec:int -> CicNotationPt.term -> markup
 
 (** level 0 -> xml stream *)
 val print_xml: markup -> Xml.token Stream.t