X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Focaml%2Fmetadata%2F.depend;h=bb47a05591208e1f17a00b69f435d656e01660db;hb=de9a83f286eee12117fb478ea2db18f7faebac9a;hp=07fbe69d7adde1bf582ca0c3c26ee6b3d154ac1c;hpb=7403c949ea3a84624f8c05deee00de53336937ba;p=helm.git

diff --git a/helm/ocaml/metadata/.depend b/helm/ocaml/metadata/.depend
index 07fbe69d7..bb47a0559 100644
--- a/helm/ocaml/metadata/.depend
+++ b/helm/ocaml/metadata/.depend
@@ -1,15 +1,17 @@
-metadataExtractor.cmi: metadataTypes.cmo 
-metadataPp.cmi: metadataTypes.cmo 
-metadataConstraints.cmi: metadataTypes.cmo 
-metadataExtractor.cmo: metadataTypes.cmo metadataExtractor.cmi 
+metadataExtractor.cmi: metadataTypes.cmi 
+metadataPp.cmi: metadataTypes.cmi 
+metadataConstraints.cmi: metadataTypes.cmi 
+metadataTypes.cmo: metadataTypes.cmi 
+metadataTypes.cmx: metadataTypes.cmi 
+metadataExtractor.cmo: metadataTypes.cmi metadataExtractor.cmi 
 metadataExtractor.cmx: metadataTypes.cmx metadataExtractor.cmi 
-metadataPp.cmo: metadataPp.cmi 
-metadataPp.cmx: metadataPp.cmi 
-metadataDb.cmo: metadataExtractor.cmi metadataPp.cmi metadataTypes.cmo \
+metadataPp.cmo: metadataTypes.cmi metadataPp.cmi 
+metadataPp.cmx: metadataTypes.cmx metadataPp.cmi 
+metadataDb.cmo: metadataExtractor.cmi metadataPp.cmi metadataTypes.cmi \
     metadataDb.cmi 
 metadataDb.cmx: metadataExtractor.cmx metadataPp.cmx metadataTypes.cmx \
     metadataDb.cmi 
-metadataConstraints.cmo: metadataPp.cmi metadataTypes.cmo \
+metadataConstraints.cmo: metadataPp.cmi metadataTypes.cmi \
     metadataConstraints.cmi 
 metadataConstraints.cmx: metadataPp.cmx metadataTypes.cmx \
     metadataConstraints.cmi