src/HOL/Tools/Nitpick/nitpick.ML

                            else if genuine_means_genuine then " "
                            else " quasi genuine ") ^ das_wort_model) @
                    (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
            (if has_lonely_bool_var orig_t then
               print "Hint: Maybe you forgot a colon after the lemma's name?"