# HG changeset patch
# User wenzelm
# Date 1601041235 -7200
# Node ID a540283d6b58da1c04f8de91ed80fbf99bc31b5e
# Parent  bc31c4a2c77cd85fb5f83188a637748102708c93
tuned nitpick message: more like quickcheck;

diff -r bc31c4a2c77c -r a540283d6b58 src/HOL/Tools/Nitpick/nitpick.ML
--- a/src/HOL/Tools/Nitpick/nitpick.ML	Fri Sep 25 14:40:50 2020 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick.ML	Fri Sep 25 15:40:35 2020 +0200
@@ -657,7 +657,7 @@
                    (case pretties_for_scope scope verbose of
                       [] => []
                     | pretties => [Pretty.brk 1, Pretty.str "for", Pretty.brk 1] @ pretties) @
-                   [Pretty.str ":", Pretty.fbrk])),
+                   [Pretty.str ":"])),
               Pretty.indent indent_size reconstructed_model]);
          print_t (K "% SZS output end FiniteModel");
          if genuine then