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

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