src/HOL/Tools/try.ML

--- a/src/HOL/Tools/try.ML	Wed Sep 22 17:46:59 2010 +0200
+++ b/src/HOL/Tools/try.ML	Wed Sep 22 18:21:48 2010 +0200
@@ -18,7 +18,7 @@
 
 val _ =
   ProofGeneralPgip.add_preference Preferences.category_tracing
-  (setmp_noncritical auto true (fn () =>
+  (Unsynchronized.setmp auto true (fn () =>
     Preferences.bool_pref auto
       "auto-try" "Try standard proof methods.") ());