]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/.depend
fix for instance
[helm.git] / helm / ocaml / metadata / .depend
index bb47a05591208e1f17a00b69f435d656e01660db..48a53815c59c73fb99970ab53640e245193d79de 100644 (file)
@@ -7,11 +7,11 @@ metadataExtractor.cmo: metadataTypes.cmi metadataExtractor.cmi
 metadataExtractor.cmx: metadataTypes.cmx metadataExtractor.cmi 
 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.cmi \
+metadataConstraints.cmo: metadataTypes.cmi metadataPp.cmi \
     metadataConstraints.cmi 
-metadataConstraints.cmx: metadataPp.cmx metadataTypes.cmx \
+metadataConstraints.cmx: metadataTypes.cmx metadataPp.cmx \
     metadataConstraints.cmi 
+metadataDb.cmo: metadataTypes.cmi metadataPp.cmi metadataExtractor.cmi \
+    metadataConstraints.cmi metadataDb.cmi 
+metadataDb.cmx: metadataTypes.cmx metadataPp.cmx metadataExtractor.cmx \
+    metadataConstraints.cmx metadataDb.cmi