diff -r 75886eea238a -r 66d686f149e7 src/Pure/General/pretty.scala
--- a/src/Pure/General/pretty.scala	Mon Dec 30 14:39:33 2024 +0100
+++ b/src/Pure/General/pretty.scala	Mon Dec 30 19:49:50 2024 +0100
@@ -118,8 +118,8 @@
 
   def unbreakable(input: XML.Body): XML.Body =
     input flatMap {
-      case XML.Wrapped_Elem(markup, body1, body2) =>
-        List(XML.Wrapped_Elem(markup, body1, unbreakable(body2)))
+      case XML.Wrapped_Elem(markup1, markup2, body) =>
+        List(XML.Wrapped_Elem(markup1, markup2, unbreakable(body)))
       case XML.Elem(Markup.Break(width, _), _) => spaces(width)
       case XML.Elem(markup, body) => List(XML.Elem(markup, unbreakable(body)))
       case XML.Text(text) => XML.string(split_lines(text).mkString(Symbol.space))