src/Tools/auto_solve.ML
changeset 39616 8052101883c3
parent 39329 0a85f960ac50
--- a/src/Tools/auto_solve.ML	Wed Sep 22 17:46:59 2010 +0200
+++ b/src/Tools/auto_solve.ML	Wed Sep 22 18:21:48 2010 +0200
@@ -25,7 +25,7 @@
 
 val _ =
   ProofGeneralPgip.add_preference Preferences.category_tracing
-  (setmp_noncritical auto true (fn () =>
+  (Unsynchronized.setmp auto true (fn () =>
     Preferences.bool_pref auto
       "auto-solve" "Try to solve conjectures with existing theorems.") ());