diff -r c6ce498b4767 -r 0fc6f18da7c5 src/Provers/clasimp.ML
--- a/src/Provers/clasimp.ML	Mon Aug 30 17:18:20 1999 +0200
+++ b/src/Provers/clasimp.ML	Mon Aug 30 17:26:43 1999 +0200
@@ -168,7 +168,7 @@
 val setup =
  [Method.add_methods
    [("clarsimp", clasimp_method' clarsimp_tac, "clarsimp (improper!)"),
-    ("auto", clasimp_method auto_tac, "auto"),
+    ("auto", clasimp_method (CHANGED o auto_tac), "auto"),
     ("force", clasimp_method' force_tac, "force")]];