X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2FmetadataExtractor.mli;h=68af269a91a59a8a8e812b8abc78627e28c4f5d9;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=8308c0ee0287360dfed07e9f15945fd2251ad2dc;hpb=26c3b57c2142bfd2242571109374c3203c7980dd;p=helm.git

diff --git a/helm/ocaml/metadata/metadataExtractor.mli b/helm/ocaml/metadata/metadataExtractor.mli
index 8308c0ee0..68af269a9 100644
--- a/helm/ocaml/metadata/metadataExtractor.mli
+++ b/helm/ocaml/metadata/metadataExtractor.mli
@@ -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