1.1 --- a/src/HOL/Tools/Nitpick/nitpick_isar.ML	Sat Sep 11 12:31:42 2010 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_isar.ML	Sat Sep 11 12:31:58 2010 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4  val _ =
     1.5    ProofGeneralPgip.add_preference Preferences.category_tracing
     1.6        (Preferences.bool_pref auto "auto-nitpick"
     1.7 -           "Whether to run Nitpick automatically.")
     1.8 +           "Run Nitpick automatically.")
     1.9  
    1.10  type raw_param = string * string list
    1.11