src/Tools/quickcheck.ML
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.") ());