]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/metadata/.depend
ocaml 3.09 transition
[helm.git] / helm / ocaml / metadata / .depend
index 48a53815c59c73fb99970ab53640e245193d79de..04197957bc992225bd8cb7238bfc785585ef76bf 100644 (file)
@@ -1,6 +1,9 @@
 metadataExtractor.cmi: metadataTypes.cmi 
 metadataPp.cmi: metadataTypes.cmi 
 metadataConstraints.cmi: metadataTypes.cmi 
+metadataDb.cmi: metadataTypes.cmi 
+sqlStatements.cmo: sqlStatements.cmi 
+sqlStatements.cmx: sqlStatements.cmi 
 metadataTypes.cmo: metadataTypes.cmi 
 metadataTypes.cmx: metadataTypes.cmi 
 metadataExtractor.cmo: metadataTypes.cmi metadataExtractor.cmi