diff -r e4e643705d90 -r 559909bd7715 src/Tools/Code/code_target.ML
--- a/src/Tools/Code/code_target.ML	Mon Jun 10 14:04:52 2024 +0200
+++ b/src/Tools/Code/code_target.ML	Mon Jun 10 14:05:39 2024 +0200
@@ -651,7 +651,7 @@
       (arrange check_const_syntax) (arrange check_tyco_syntax)
         (arrange ((K o K o K) I)) (arrange ((K o K o K) I)) (arrange ((K o K o K) I))
         (arrange (fn ctxt => fn _ => fn _ => fn (raw_content, raw_syms) =>
-          (Pretty.blk (0, Pretty.fbreaks (map Code_Printer.str (split_lines raw_content))),
+          (Pretty.block0 (Pretty.fbreaks (map Code_Printer.str (split_lines raw_content))),
             map (prep_syms ctxt) raw_syms)))
   end;