X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent_pres%2FcicNotationPres.mli;h=3c9f0ce15346c351d93b5d209df15c9cbfa5e78e;hb=8a660ee06d72cfee52c707bb1d8d8be3bab0d682;hp=6a25e56724723baea4849d47e771d12bc2fe7518;hpb=5553ac7623425bce6f34eed6e17d4f0f8163e9aa;p=helm.git

diff --git a/matita/components/content_pres/cicNotationPres.mli b/matita/components/content_pres/cicNotationPres.mli
index 6a25e5672..3c9f0ce15 100644
--- a/matita/components/content_pres/cicNotationPres.mli
+++ b/matita/components/content_pres/cicNotationPres.mli
@@ -41,7 +41,7 @@ val lookup_uri: (Cic.id,UriManager.uri) Hashtbl.t -> Cic.id -> string option
  * @param ids_to_uris mapping id -> uri for hyperlinking
  * @param prec precedence level *)
 val render:
- lookup_uri:(Cic.id -> string option) -> ?prec:int -> CicNotationPt.term ->
+ lookup_uri:(Cic.id -> string option) -> ?prec:int -> NotationPt.term ->
   markup
 
 (** level 0 -> xml stream *)
@@ -50,7 +50,7 @@ val print_xml: markup -> Xml.token Stream.t
 (* |+* level 1 -> xml stream
  * @param ids_to_uris +|
 val render_to_boxml:
-  (Cic.id, string) Hashtbl.t -> CicNotationPt.term -> Xml.token Stream.t *)
+  (Cic.id, string) Hashtbl.t -> NotationPt.term -> Xml.token Stream.t *)
 
 val print_box:    boxml_markup -> Xml.token Stream.t
 val print_mpres:  mathml_markup -> Xml.token Stream.t