--- a/src/Tools/solve_direct.ML Wed May 15 17:39:41 2013 +0200
+++ b/src/Tools/solve_direct.ML Wed May 15 20:22:46 2013 +0200
@@ -37,11 +37,11 @@
val max_solutions = Unsynchronized.ref 5;
val _ =
- ProofGeneral.add_preference Preferences.category_tracing
- (Unsynchronized.setmp auto true (fn () =>
- Preferences.bool_pref auto
+ Unsynchronized.setmp auto true (fn () =>
+ ProofGeneral.preference_bool ProofGeneral.category_tracing
+ auto
"auto-solve-direct"
- ("Run " ^ quote solve_directN ^ " automatically.")) ());
+ ("Run " ^ quote solve_directN ^ " automatically")) ();
(* solve_direct command *)