- now destruct tries to clear the replaced variables (from wilmer's

[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 a90df82fa7fe3d36afab1e3620fe8b66a11ea5bb..c85683251c43d6e392df833a778a031f702c4d28 100644 (file)
--- a/matita/components/ng_tactics/.depend.opt
+++ b/matita/components/ng_tactics/.depend.opt
@@ -2,7 +2,7 @@ continuationals.cmi:
 nCicTacReduction.cmi: 
 nTacStatus.cmi: continuationals.cmi 
 nCicElim.cmi: 
-nTactics.cmi: nTacStatus.cmi continuationals.cmi 
+nTactics.cmi: nTacStatus.cmi 
 nnAuto.cmi: nTacStatus.cmi 
 nDestructTac.cmi: nTacStatus.cmi 
 nInversion.cmi: nTacStatus.cmi 
@@ -24,5 +24,7 @@ nDestructTac.cmo: nTactics.cmi nTacStatus.cmi continuationals.cmi \
     nDestructTac.cmi 
 nDestructTac.cmx: nTactics.cmx nTacStatus.cmx continuationals.cmx \
     nDestructTac.cmi 
-nInversion.cmo: nTactics.cmi nCicElim.cmi continuationals.cmi nInversion.cmi 
-nInversion.cmx: nTactics.cmx nCicElim.cmx continuationals.cmx nInversion.cmi 
+nInversion.cmo: nTactics.cmi nTacStatus.cmi nCicElim.cmi continuationals.cmi \
+    nInversion.cmi 
+nInversion.cmx: nTactics.cmx nTacStatus.cmx nCicElim.cmx continuationals.cmx \
+    nInversion.cmi