changeset 39329 | 0a85f960ac50 |
parent 39324 | 05452dd66b2b |
child 39616 | 8052101883c3 |
--- a/src/Tools/quickcheck.ML Sat Sep 11 12:31:58 2010 +0200 +++ b/src/Tools/quickcheck.ML Sat Sep 11 12:32:31 2010 +0200 @@ -45,7 +45,7 @@ (setmp_noncritical auto true (fn () => Preferences.bool_pref auto "auto-quickcheck" - "Whether to run Quickcheck automatically.") ()); + "Run Quickcheck automatically.") ()); (* quickcheck report *)