X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2FmetadataExtractor.mli;fp=helm%2Focaml%2Fmetadata%2FmetadataExtractor.mli;h=68af269a91a59a8a8e812b8abc78627e28c4f5d9;hb=a7b90d2494f7d580faa54ecd2835bd4649129763;hp=8308c0ee0287360dfed07e9f15945fd2251ad2dc;hpb=af2a19f653255373041b6d792ff8a74b2270eb49;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