changeset 39138 | 53886463f559 |
parent 38759 | 37a9092de102 |
child 39252 | 8f176e575a49 |
--- a/src/Tools/quickcheck.ML Sun Sep 05 23:16:21 2010 +0200 +++ b/src/Tools/quickcheck.ML Sun Sep 05 23:26:16 2010 +0200 @@ -40,7 +40,7 @@ val _ = ProofGeneralPgip.add_preference Preferences.category_tracing - (setmp_CRITICAL auto true (fn () => + (setmp_noncritical auto true (fn () => Preferences.bool_pref auto "auto-quickcheck" "Whether to run Quickcheck automatically.") ());