X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2F.depend;h=356cf4b8567c2543f60b0de4e58b9688fe052872;hb=9f60b3b0f4460aec52ec241037f6c475b421dd15;hp=fd3a652e833f1caa846a9bb981ca0d2a5f809418;hpb=bac72fcaa876137ab7a5630e0c1badc2a627dce8;p=helm.git

diff --git a/helm/ocaml/tactics/.depend b/helm/ocaml/tactics/.depend
index fd3a652e8..356cf4b85 100644
--- a/helm/ocaml/tactics/.depend
+++ b/helm/ocaml/tactics/.depend
@@ -32,12 +32,10 @@ primitiveTactics.cmo: proofEngineHelpers.cmi proofEngineReduction.cmi \
 primitiveTactics.cmx: proofEngineHelpers.cmx proofEngineReduction.cmx \
     proofEngineTypes.cmx reductionTactics.cmx tacticals.cmx \
     primitiveTactics.cmi 
-variousTactics.cmo: primitiveTactics.cmi proofEngineHelpers.cmi \
-    proofEngineReduction.cmi proofEngineTypes.cmo tacticals.cmi \
-    variousTactics.cmi 
-variousTactics.cmx: primitiveTactics.cmx proofEngineHelpers.cmx \
-    proofEngineReduction.cmx proofEngineTypes.cmx tacticals.cmx \
-    variousTactics.cmi 
+variousTactics.cmo: primitiveTactics.cmi proofEngineReduction.cmi \
+    proofEngineTypes.cmo tacticals.cmi variousTactics.cmi 
+variousTactics.cmx: primitiveTactics.cmx proofEngineReduction.cmx \
+    proofEngineTypes.cmx tacticals.cmx variousTactics.cmi 
 introductionTactics.cmo: primitiveTactics.cmi proofEngineTypes.cmo \
     introductionTactics.cmi 
 introductionTactics.cmx: primitiveTactics.cmx proofEngineTypes.cmx \