--- a/src/Tools/quickcheck.ML Wed May 15 22:02:51 2013 +0200
+++ b/src/Tools/quickcheck.ML Wed May 15 22:30:24 2013 +0200
@@ -97,11 +97,11 @@
val auto = Unsynchronized.ref false;
val _ =
- Unsynchronized.setmp auto true (fn () =>
- ProofGeneral.preference_bool ProofGeneral.category_tracing
- auto
- "auto-quickcheck"
- "Run Quickcheck automatically") ()
+ ProofGeneral.preference_bool ProofGeneral.category_tracing
+ (SOME "true")
+ auto
+ "auto-quickcheck"
+ "Run Quickcheck automatically";
(* quickcheck report *)