src/Tools/quickcheck.ML

--- 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.") ());