src/HOL/Tools/try0.ML

--- a/src/HOL/Tools/try0.ML	Wed May 15 22:02:51 2013 +0200
+++ b/src/HOL/Tools/try0.ML	Wed May 15 22:30:24 2013 +0200
@@ -28,7 +28,10 @@
 
 val _ =
   ProofGeneral.preference_bool ProofGeneral.category_tracing
-    auto "auto-try0" "Try standard proof methods"
+    NONE
+    auto
+    "auto-try0"
+    "Try standard proof methods"
 
 val default_timeout = seconds 5.0