diff -r cea207576f81 -r e8c1c5612677 src/Tools/solve_direct.ML
--- a/src/Tools/solve_direct.ML	Sat Jul 13 13:58:13 2013 +0200
+++ b/src/Tools/solve_direct.ML	Sat Jul 13 14:11:48 2013 +0200
@@ -35,7 +35,7 @@
 
 val _ =
   ProofGeneral.preference_option ProofGeneral.category_tracing
-    (SOME "true")
+    NONE
     @{option auto_solve_direct}
     "auto-solve-direct"
     ("Run " ^ quote solve_directN ^ " automatically");