X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2F.depend;h=15500d2c4c06a43c4726de0b6d4caf5dab89e9be;hb=086099d1a60948454cf0874744ef2222c2edc1b6;hp=f25f462cb386a0750975beff8d53615e85a56f2f;hpb=21758b512843088d19e81830d9fb121725c8a16e;p=helm.git

diff --git a/helm/ocaml/metadata/.depend b/helm/ocaml/metadata/.depend
index f25f462cb..15500d2c4 100644
--- a/helm/ocaml/metadata/.depend
+++ b/helm/ocaml/metadata/.depend
@@ -1,8 +1,15 @@
 metadataExtractor.cmi: metadataTypes.cmo 
 metadataPp.cmi: metadataTypes.cmo 
+metadataConstraints.cmi: metadataTypes.cmo 
 metadataExtractor.cmo: metadataTypes.cmo metadataExtractor.cmi 
 metadataExtractor.cmx: metadataTypes.cmx metadataExtractor.cmi 
-metadataPp.cmo: metadataPp.cmi 
-metadataPp.cmx: metadataPp.cmi 
-metadataDb.cmo: metadataExtractor.cmi metadataPp.cmi metadataDb.cmi 
-metadataDb.cmx: metadataExtractor.cmx metadataPp.cmx metadataDb.cmi 
+metadataPp.cmo: metadataTypes.cmo metadataPp.cmi 
+metadataPp.cmx: metadataTypes.cmx metadataPp.cmi 
+metadataDb.cmo: metadataExtractor.cmi metadataPp.cmi metadataTypes.cmo \
+    metadataDb.cmi 
+metadataDb.cmx: metadataExtractor.cmx metadataPp.cmx metadataTypes.cmx \
+    metadataDb.cmi 
+metadataConstraints.cmo: metadataPp.cmi metadataTypes.cmo \
+    metadataConstraints.cmi 
+metadataConstraints.cmx: metadataPp.cmx metadataTypes.cmx \
+    metadataConstraints.cmi