ocaml 3.09 transition

[helm.git] / helm / ocaml / cic_notation / cicNotationPres.mli

diff --git a/helm/ocaml/cic_notation/cicNotationPres.mli b/helm/ocaml/cic_notation/cicNotationPres.mli
index d0297387190ffd8bfd18ab40acccc59a7f9c7e39..04411df2b3d2e5ed394d04f33c74ac1ae5d05ace 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationPres.mli
+++ b/helm/ocaml/cic_notation/cicNotationPres.mli
@@ -37,7 +37,7 @@ val box_of_mpres: mathml_markup -> boxml_markup
 
 (** level 1 -> level 0
  * @param ids_to_uris mapping id -> uri for hyperlinking *)
-val render: (Cic.id, string) Hashtbl.t -> CicNotationPt.term -> markup
+val render: (Cic.id, UriManager.uri) Hashtbl.t -> CicNotationPt.term -> markup
 
 (** level 0 -> xml stream *)
 val print_xml: markup -> Xml.token Stream.t