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