src/Tools/solve_direct.ML
changeset 52017 bc0238c1f73a
parent 52007 0b1183012a3c
child 52639 df830310e550
--- a/src/Tools/solve_direct.ML	Wed May 15 22:02:51 2013 +0200
+++ b/src/Tools/solve_direct.ML	Wed May 15 22:30:24 2013 +0200
@@ -37,11 +37,11 @@
 val max_solutions = Unsynchronized.ref 5;
 
 val _ =
-  Unsynchronized.setmp auto true (fn () =>
-    ProofGeneral.preference_bool ProofGeneral.category_tracing
-      auto
-      "auto-solve-direct"
-      ("Run " ^ quote solve_directN ^ " automatically")) ();
+  ProofGeneral.preference_bool ProofGeneral.category_tracing
+    (SOME "true")
+    auto
+    "auto-solve-direct"
+    ("Run " ^ quote solve_directN ^ " automatically");
 
 
 (* solve_direct command *)