X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2FmetadataTypes.mli;h=f86ff84f566b4c4f31c1ba01b72ae5ca01d6e234;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=5a2456de10fb2b1a62da4ebb431174807b18ddc6;hpb=e6023677f34f426d32a1bdbe391978ea7f7c44f6;p=helm.git

diff --git a/helm/ocaml/metadata/metadataTypes.mli b/helm/ocaml/metadata/metadataTypes.mli
index 5a2456de1..f86ff84f5 100644
--- a/helm/ocaml/metadata/metadataTypes.mli
+++ b/helm/ocaml/metadata/metadataTypes.mli
@@ -53,13 +53,13 @@ type pi_depth = int
 type metadata =
   [ `Sort of Cic.sort * main_position
   | `Rel of main_position
-  | `Obj of string * position
+  | `Obj of UriManager.uri * position
   ]
 
 type constr =
   [ `Sort of Cic.sort * main_position list
   | `Rel of main_position list
-  | `Obj of string * position list
+  | `Obj of UriManager.uri * position list
   ]
 
 val constr_of_metadata: metadata -> constr