# HG changeset patch
# User wenzelm
# Date 1257884926 -3600
# Node ID 4608243edcfce3098bc89bfb8fce980e348d1e40
# Parent  16a263d2b1c92b16691760f8545d5384641190ec
plain add_preference, no setmp_CRITICAL required;

diff -r 16a263d2b1c9 -r 4608243edcfc src/HOL/Tools/Nitpick/nitpick_isar.ML
--- a/src/HOL/Tools/Nitpick/nitpick_isar.ML	Tue Nov 10 21:04:30 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_isar.ML	Tue Nov 10 21:28:46 2009 +0100
@@ -26,11 +26,11 @@
 
 val auto = Unsynchronized.ref false;
 
-val _ = ProofGeneralPgip.add_preference Preferences.category_tracing
-            (setmp_CRITICAL auto false
-                 (fn () => Preferences.bool_pref auto
-                               "auto-nitpick"
-                               "Whether to run Nitpick automatically.") ())
+val _ =
+  ProofGeneralPgip.add_preference Preferences.category_tracing
+    (Preferences.bool_pref auto
+      "auto-nitpick"
+      "Whether to run Nitpick automatically.")
 
 type raw_param = string * string list