X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fmetadata%2F.depend;h=78cd97a0deff8787b73aed2878acef8374029ee0;hb=7f9e313fe5ae4200f080f481a6b8b795a0618093;hp=04197957bc992225bd8cb7238bfc785585ef76bf;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/components/metadata/.depend b/helm/software/components/metadata/.depend
index 04197957b..78cd97a0d 100644
--- a/helm/software/components/metadata/.depend
+++ b/helm/software/components/metadata/.depend
@@ -1,7 +1,10 @@
+sqlStatements.cmi: 
+metadataTypes.cmi: 
 metadataExtractor.cmi: metadataTypes.cmi 
 metadataPp.cmi: metadataTypes.cmi 
 metadataConstraints.cmi: metadataTypes.cmi 
 metadataDb.cmi: metadataTypes.cmi 
+metadataDeps.cmi: metadataTypes.cmi 
 sqlStatements.cmo: sqlStatements.cmi 
 sqlStatements.cmx: sqlStatements.cmi 
 metadataTypes.cmo: metadataTypes.cmi 
@@ -18,3 +21,5 @@ metadataDb.cmo: metadataTypes.cmi metadataPp.cmi metadataExtractor.cmi \
     metadataConstraints.cmi metadataDb.cmi 
 metadataDb.cmx: metadataTypes.cmx metadataPp.cmx metadataExtractor.cmx \
     metadataConstraints.cmx metadataDb.cmi 
+metadataDeps.cmo: sqlStatements.cmi metadataTypes.cmi metadataDeps.cmi 
+metadataDeps.cmx: sqlStatements.cmx metadataTypes.cmx metadataDeps.cmi