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

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