X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_tactics%2F.depend.opt;h=c85683251c43d6e392df833a778a031f702c4d28;hb=0aa60d67f17b528b896e05bbd01038cbc195f69d;hp=47f203f0afd7f5a2c292d79533eea5517b286812;hpb=791d52ba005e434be27cca1f8059d9f28da0183b;p=helm.git

diff --git a/matita/components/ng_tactics/.depend.opt b/matita/components/ng_tactics/.depend.opt
index 47f203f0a..c85683251 100644
--- a/matita/components/ng_tactics/.depend.opt
+++ b/matita/components/ng_tactics/.depend.opt
@@ -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