--- a/src/Pure/Syntax/printer.ML Thu Sep 19 20:56:47 2024 +0200
+++ b/src/Pure/Syntax/printer.ML Thu Sep 19 21:13:26 2024 +0200
@@ -247,7 +247,7 @@
val (bTs, args') = synT m (bsymbs, args);
val (Ts, args'') = synT m (symbs, args');
val T =
- Pretty.markup_block {markup = markup, consistent = consistent, indent = indent} bTs
+ Pretty.markup_blocks {markup = markup, consistent = consistent, indent = indent} bTs
|> unbreakable ? Pretty.unbreakable;
in (T :: Ts, args'') end
| synT m (Break i :: symbs, args) =