src/HOL/Tools/Nitpick/nitpick_isar.ML

--- a/src/HOL/Tools/Nitpick/nitpick_isar.ML	Wed May 15 17:39:41 2013 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_isar.ML	Wed May 15 20:22:46 2013 +0200
@@ -36,8 +36,8 @@
 val auto_try_max_scopes = 6
 
 val _ =
-  ProofGeneral.add_preference Preferences.category_tracing
-      (Preferences.bool_pref auto "auto-nitpick" "Run Nitpick automatically.")
+  ProofGeneral.preference_bool ProofGeneral.category_tracing
+    auto "auto-nitpick" "Run Nitpick automatically"
 
 type raw_param = string * string list