many changes:

[helm.git] / components / tactics / tactics.ml

diff --git a/components/tactics/tactics.ml b/components/tactics/tactics.ml
index 1ccd2adcb0ab0d655438ca858d56770ceec76e0b..67a607d1acf16087a7caa65a57ad67bafa88d79d 100644 (file)
--- a/components/tactics/tactics.ml
+++ b/components/tactics/tactics.ml
@@ -65,6 +65,7 @@ let rewrite_simpl = EqualityTactics.rewrite_simpl_tac
 let right = IntroductionTactics.right_tac
 let ring = Ring.ring_tac
 let simpl = ReductionTactics.simpl_tac
+let solve_rewrite = Auto.solve_rewrite_tac
 let split = IntroductionTactics.split_tac
 let subst = SubstTactic.subst_tac
 let symmetry = EqualityTactics.symmetry_tac