X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2F.depend;fp=helm%2Focaml%2Ftactics%2F.depend;h=fd3a652e833f1caa846a9bb981ca0d2a5f809418;hb=4c9da07604c4f8b66e4e92861ee38129422d23fb;hp=8d0d98338ad6471acf6d822dc910759669385bf3;hpb=11b9b274291baa8c5462b2ce3e2a5f93a39c9d57;p=helm.git

diff --git a/helm/ocaml/tactics/.depend b/helm/ocaml/tactics/.depend
index 8d0d98338..fd3a652e8 100644
--- a/helm/ocaml/tactics/.depend
+++ b/helm/ocaml/tactics/.depend
@@ -76,5 +76,5 @@ fourierR.cmo: equalityTactics.cmi fourier.cmi primitiveTactics.cmi \
 fourierR.cmx: equalityTactics.cmx fourier.cmx primitiveTactics.cmx \
     proofEngineHelpers.cmx proofEngineTypes.cmx reductionTactics.cmx ring.cmx \
     tacticals.cmx fourierR.cmi 
-tacticChaser.cmo: tacticChaser.cmi 
-tacticChaser.cmx: tacticChaser.cmi 
+tacticChaser.cmo: primitiveTactics.cmi proofEngineTypes.cmo tacticChaser.cmi 
+tacticChaser.cmx: primitiveTactics.cmx proofEngineTypes.cmx tacticChaser.cmi