src/HOL/Tools/Nitpick/nitpick.ML
changeset 41872 10fd9e5d58ba
parent 41871 394eef237bd1
child 41875 e3cd0dce9b1a
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Wed Mar 02 14:50:16 2011 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Wed Mar 02 15:51:22 2011 +0100
     1.3 @@ -714,7 +714,7 @@
     1.4                          options
     1.5                  in
     1.6                    print ("Try again with " ^
     1.7 -                         implode (serial_commas "and" ss) ^
     1.8 +                         space_implode " " (serial_commas "and" ss) ^
     1.9                           " to confirm that the " ^ das_wort_model ^
    1.10                           " is genuine.")
    1.11                  end