Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Nitpick/nitpick.ML
changeset 80910 406a85a25189
parent 80328 559909bd7715
child 81729 560a069a537f 
--- a/src/HOL/Tools/Nitpick/nitpick.ML	Fri Sep 20 13:30:55 2024 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick.ML	Fri Sep 20 14:28:13 2024 +0200
@@ -669,7 +669,7 @@
                         options
                 in
                   print ("Try again with " ^
-                         space_implode " " (serial_commas "and" ss) ^
+                         implode_space (serial_commas "and" ss) ^
                          " to confirm that the " ^ das_wort_model ^
                          " is genuine")
                 end
isabelle