1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Fri May 14 12:01:16 2010 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Fri May 14 14:14:22 2010 +0200
     1.3 @@ -840,7 +840,7 @@
     1.4                      \fragment." ^
     1.5                      (if exists (not o KK.is_problem_trivially_false o fst)
     1.6                                 unsound_problems then
     1.7 -                       " Only potential counterexamples may be found."
     1.8 +                       " Only potential " ^ das_wort_model ^ "s may be found."
     1.9                       else
    1.10                         ""))
    1.11                else