X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2F.depend;h=04197957bc992225bd8cb7238bfc785585ef76bf;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=48a53815c59c73fb99970ab53640e245193d79de;hpb=5edfd170706c91c5d3a9d3522360b748a2dc034f;p=helm.git

diff --git a/helm/ocaml/metadata/.depend b/helm/ocaml/metadata/.depend
index 48a53815c..04197957b 100644
--- a/helm/ocaml/metadata/.depend
+++ b/helm/ocaml/metadata/.depend
@@ -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