--- a/src/Tools/quickcheck.ML Wed May 15 17:39:41 2013 +0200
+++ b/src/Tools/quickcheck.ML Wed May 15 20:22:46 2013 +0200
@@ -97,11 +97,11 @@
val auto = Unsynchronized.ref false;
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-quickcheck"
- "Run Quickcheck automatically.") ());
+ "Run Quickcheck automatically") ()
(* quickcheck report *)