X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2Ftactics.ml;h=e67fa5fde13c4256376a67944a8b2597a38f4e1f;hb=ea543eafaae687b248478db7bf6166dd912b5729;hp=60c60c7ff53a51b64d82534fdc6d2ad5c2608439;hpb=abd9e5cfa8e7b6923e0664a4813a0a842f5c4e76;p=helm.git

diff --git a/helm/ocaml/tactics/tactics.ml b/helm/ocaml/tactics/tactics.ml
index 60c60c7ff..e67fa5fde 100644
--- 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