added missing spaces in output
authorblanchet
Wed Mar 02 15:51:22 2011 +0100 (2011-03-02 ago)
changeset 4187210fd9e5d58ba
parent 41871 394eef237bd1
child 41873 250468a1bd7a
added missing spaces in output
src/HOL/Tools/Nitpick/nitpick.ML
     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