X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_tactics%2F.depend.opt;h=75b2d57f87f018d18706b67a4f16e67ea2b71b8c;hb=db020b4218272e2e35641ce3bc3b0a9b3afda899;hp=c8999df5a2a69629233c9ad4d8ff3f228bd7f33f;hpb=990530d17001326448884ea9bdd0d756af9280d9;p=helm.git

diff --git a/matita/components/ng_tactics/.depend.opt b/matita/components/ng_tactics/.depend.opt
index c8999df5a..75b2d57f8 100644
--- a/matita/components/ng_tactics/.depend.opt
+++ b/matita/components/ng_tactics/.depend.opt
@@ -1,5 +1,8 @@
 continuationals.cmx : continuationals.cmi
 continuationals.cmi :
+declarative.cmx : nnAuto.cmx nTactics.cmx nTacStatus.cmx nCicElim.cmx \
+    continuationals.cmx declarative.cmi
+declarative.cmi : nnAuto.cmi nTacStatus.cmi
 nCicElim.cmx : nCicElim.cmi
 nCicElim.cmi :
 nCicTacReduction.cmx : nCicTacReduction.cmi