--- 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