diff -r ecb746bca732 -r 5b21661fe618 src/Tools/auto_solve.ML
--- a/src/Tools/auto_solve.ML	Sat Oct 17 15:55:57 2009 +0200
+++ b/src/Tools/auto_solve.ML	Sat Oct 17 15:57:51 2009 +0200
@@ -27,7 +27,7 @@
 
 val _ =
   ProofGeneralPgip.add_preference Preferences.category_tracing
-  (setmp auto true (fn () =>
+  (setmp_CRITICAL auto true (fn () =>
     Preferences.bool_pref auto
       "auto-solve"
       "Try to solve newly declared lemmas with existing theorems.") ());