src/Tools/solve_direct.ML

--- a/src/Tools/solve_direct.ML	Thu Oct 30 23:14:11 2014 +0100
+++ b/src/Tools/solve_direct.ML	Fri Oct 31 11:18:17 2014 +0100
@@ -34,13 +34,6 @@
 
 val max_solutions = Unsynchronized.ref 5;
 
-val _ =
-  ProofGeneral.preference_option ProofGeneral.category_tracing
-    NONE
-    @{system_option auto_solve_direct}
-    "auto-solve-direct"
-    ("Run " ^ quote solve_directN ^ " automatically");
-
 
 (* solve_direct command *)