mathql query generator interface patched

[helm.git] / helm / ocaml / tactics / .depend

diff --git a/helm/ocaml/tactics/.depend b/helm/ocaml/tactics/.depend
index 8d0d98338ad6471acf6d822dc910759669385bf3..fd3a652e833f1caa846a9bb981ca0d2a5f809418 100644 (file)
--- 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