X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fcontent_pres%2FcicNotationPres.mli;h=5961b88876a9a6dc69cf5e5afa896e83491393eb;hb=0d2bfb98d8343b4e6cefdb506a813b7cb5749630;hp=3c9f0ce15346c351d93b5d209df15c9cbfa5e78e;hpb=cb11de1c61f0b61935b1c6c1832deacb49f7b5bd;p=helm.git

diff --git a/matita/components/content_pres/cicNotationPres.mli b/matita/components/content_pres/cicNotationPres.mli
index 3c9f0ce15..5961b8887 100644
--- a/matita/components/content_pres/cicNotationPres.mli
+++ b/matita/components/content_pres/cicNotationPres.mli
@@ -35,13 +35,14 @@ val box_of_mpres: mathml_markup -> boxml_markup
 
 (** {2 Rendering} *)
 
-val lookup_uri: (Cic.id,UriManager.uri) Hashtbl.t -> Cic.id -> string option
+val lookup_uri: (Interpretations.cic_id,UriManager.uri) Hashtbl.t ->
+  Interpretations.cic_id -> string option
 
 (** level 1 -> level 0
  * @param ids_to_uris mapping id -> uri for hyperlinking
  * @param prec precedence level *)
 val render:
- lookup_uri:(Cic.id -> string option) -> ?prec:int -> NotationPt.term ->
+ lookup_uri:(Interpretations.cic_id -> string option) -> ?prec:int -> NotationPt.term ->
   markup
 
 (** level 0 -> xml stream *)