* auto_tac removed (it can be found in CVS)

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

diff --git a/helm/ocaml/tactics/tactics.ml b/helm/ocaml/tactics/tactics.ml
index 60c60c7ff53a51b64d82534fdc6d2ad5c2608439..e67fa5fde13c4256376a67944a8b2597a38f4e1f 100644 (file)
--- a/helm/ocaml/tactics/tactics.ml
+++ b/helm/ocaml/tactics/tactics.ml
@@ -27,7 +27,6 @@ let absurd = NegationTactics.absurd_tac
 let apply = PrimitiveTactics.apply_tac
 let assumption = VariousTactics.assumption_tac
 let auto = AutoTactic.auto_tac
-let auto_new = AutoTactic.auto_tac_new
 let change = PrimitiveTactics.change_tac
 let compare = DiscriminationTactics.compare_tac
 let constructor = IntroductionTactics.constructor_tac