Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned names;
authorwenzelm
Mon, 30 Dec 2024 19:49:50 +0100
changeset 81695 66d686f149e7
parent 81694 75886eea238a
child 81696 b540572e3fd2
tuned names;
src/Pure/General/pretty.scala file | annotate | diff | comparison | revisions 
--- 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))
isabelle