- hExtlib: added debugging information for split_nth

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

diff --git a/helm/software/components/tactics/tactics.ml b/helm/software/components/tactics/tactics.ml
index 8b21c775382e4ea9edf77745f68612c18cbc51a8..1fb1f8de5097fb5bcbaf625c9070e2044849b416 100644 (file)
--- a/helm/software/components/tactics/tactics.ml
+++ b/helm/software/components/tactics/tactics.ml
@@ -65,7 +65,6 @@ 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 symmetry = EqualityTactics.symmetry_tac
 let transitivity = EqualityTactics.transitivity_tac