]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/metadataExtractor.mli
ocaml 3.09 transition
[helm.git] / helm / ocaml / metadata / metadataExtractor.mli
index 8308c0ee0287360dfed07e9f15945fd2251ad2dc..68af269a91a59a8a8e812b8abc78627e28c4f5d9 100644 (file)
@@ -31,7 +31,7 @@ val compute:
     (** @return tuples <uri, shortname, metadata> *)
 val compute_obj:
   UriManager.uri -> 
-    (string * string * MetadataTypes.metadata list) list
+    (UriManager.uri * string * MetadataTypes.metadata list) list
     
 module IntSet: Set.S with type elt = int