changeset 39616 | 8052101883c3 |
parent 39329 | 0a85f960ac50 |
child 39656 | f398f66969ce |
--- a/src/Tools/quickcheck.ML Wed Sep 22 17:46:59 2010 +0200 +++ b/src/Tools/quickcheck.ML Wed Sep 22 18:21:48 2010 +0200 @@ -42,7 +42,7 @@ val _ = ProofGeneralPgip.add_preference Preferences.category_tracing - (setmp_noncritical auto true (fn () => + (Unsynchronized.setmp auto true (fn () => Preferences.bool_pref auto "auto-quickcheck" "Run Quickcheck automatically.") ());