Partially restore the assume tactic

[helm.git] / matita / components / ng_tactics / .depend.opt

diff --git a/matita/components/ng_tactics/.depend.opt b/matita/components/ng_tactics/.depend.opt
index e8ca8210ee825eaece6fe84e2aea51b7174d36ad..420a5dbc6ab22514608d9e9578d7050f53692716 100644 (file)
--- a/matita/components/ng_tactics/.depend.opt
+++ b/matita/components/ng_tactics/.depend.opt
@@ -3,6 +3,7 @@ nCicTacReduction.cmi :
 nTacStatus.cmi : continuationals.cmi
 nCicElim.cmi :
 nTactics.cmi : nTacStatus.cmi
+declarative.cmi : nTacStatus.cmi
 nnAuto.cmi : nTacStatus.cmi
 nDestructTac.cmi : nTacStatus.cmi
 nInversion.cmi : nTacStatus.cmi
@@ -16,6 +17,8 @@ nCicElim.cmo : nCicElim.cmi
 nCicElim.cmx : nCicElim.cmi
 nTactics.cmo : nTacStatus.cmi nCicElim.cmi continuationals.cmi nTactics.cmi
 nTactics.cmx : nTacStatus.cmx nCicElim.cmx continuationals.cmx nTactics.cmi
+declarative.cmo : nTactics.cmi declarative.cmi
+declarative.cmx : nTactics.cmx declarative.cmi
 nnAuto.cmo : nTactics.cmi nTacStatus.cmi nCicTacReduction.cmi \
     continuationals.cmi nnAuto.cmi
 nnAuto.cmx : nTactics.cmx nTacStatus.cmx nCicTacReduction.cmx \