]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/components/content_pres/cicNotationPres.mli
urimanager removed
[helm.git] / matita / components / content_pres / cicNotationPres.mli
index 5961b88876a9a6dc69cf5e5afa896e83491393eb..ce8ee1ca6b10dfcc5640ba3396090db46915c16e 100644 (file)
@@ -35,7 +35,7 @@ val box_of_mpres: mathml_markup -> boxml_markup
 
 (** {2 Rendering} *)
 
-val lookup_uri: (Interpretations.cic_id,UriManager.uri) Hashtbl.t ->
+val lookup_uri: (Interpretations.cic_id,NReference.reference) Hashtbl.t ->
   Interpretations.cic_id -> string option
 
 (** level 1 -> level 0