Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added missing spaces in output
authorblanchet
Wed, 02 Mar 2011 15:51:22 +0100
changeset 41872 10fd9e5d58ba
parent 41871 394eef237bd1
child 41873 250468a1bd7a
added missing spaces in output
src/HOL/Tools/Nitpick/nitpick.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle