-eliminationTactics.cmo: tacticals.cmi proofEngineTypes.cmi \
- proofEngineStructuralRules.cmi proofEngineHelpers.cmi \
- primitiveTactics.cmi eliminationTactics.cmi
-eliminationTactics.cmx: tacticals.cmx proofEngineTypes.cmx \
- proofEngineStructuralRules.cmx proofEngineHelpers.cmx \
- primitiveTactics.cmx eliminationTactics.cmi
+eliminationTactics.cmo: tacticals.cmi reductionTactics.cmi \
+ proofEngineTypes.cmi proofEngineStructuralRules.cmi \
+ proofEngineHelpers.cmi primitiveTactics.cmi eliminationTactics.cmi
+eliminationTactics.cmx: tacticals.cmx reductionTactics.cmx \
+ proofEngineTypes.cmx proofEngineStructuralRules.cmx \
+ proofEngineHelpers.cmx primitiveTactics.cmx eliminationTactics.cmi