X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2F.depend;h=07fbe69d7adde1bf582ca0c3c26ee6b3d154ac1c;hb=d6bdacb3cf305051e9e19f8b0422a33315a9279b;hp=caa9708d61cb71295291131a2a7f8731b39aaf79;hpb=43f7741d0d6e714f0e1fd183d2fc43af267a445c;p=helm.git

diff --git a/helm/ocaml/metadata/.depend b/helm/ocaml/metadata/.depend
index caa9708d6..07fbe69d7 100644
--- a/helm/ocaml/metadata/.depend
+++ b/helm/ocaml/metadata/.depend
@@ -1,6 +1,6 @@
 metadataExtractor.cmi: metadataTypes.cmo 
 metadataPp.cmi: metadataTypes.cmo 
-metadataQuery.cmi: metadataTypes.cmo 
+metadataConstraints.cmi: metadataTypes.cmo 
 metadataExtractor.cmo: metadataTypes.cmo metadataExtractor.cmi 
 metadataExtractor.cmx: metadataTypes.cmx metadataExtractor.cmi 
 metadataPp.cmo: metadataPp.cmi 
@@ -9,5 +9,7 @@ metadataDb.cmo: metadataExtractor.cmi metadataPp.cmi metadataTypes.cmo \
     metadataDb.cmi 
 metadataDb.cmx: metadataExtractor.cmx metadataPp.cmx metadataTypes.cmx \
     metadataDb.cmi 
-metadataQuery.cmo: metadataPp.cmi metadataTypes.cmo metadataQuery.cmi 
-metadataQuery.cmx: metadataPp.cmx metadataTypes.cmx metadataQuery.cmi 
+metadataConstraints.cmo: metadataPp.cmi metadataTypes.cmo \
+    metadataConstraints.cmi 
+metadataConstraints.cmx: metadataPp.cmx metadataTypes.cmx \
+    metadataConstraints.cmi