src/Tools/quickcheck.ML
changeset 32966 5b21661fe618
parent 32859 204f749f35a9
child 33291 93f0238151f6
child 33560 b12ab081e5d1
--- a/src/Tools/quickcheck.ML	Sat Oct 17 15:55:57 2009 +0200
+++ b/src/Tools/quickcheck.ML	Sat Oct 17 15:57:51 2009 +0200
@@ -24,7 +24,7 @@
 
 val _ =
   ProofGeneralPgip.add_preference Preferences.category_tracing
-  (setmp auto true (fn () =>
+  (setmp_CRITICAL auto true (fn () =>
     Preferences.bool_pref auto
       "auto-quickcheck"
       "Whether to enable quickcheck automatically.") ());