diff -r b3ca4a6ed74b -r 87ebf5a50283 src/Pure/General/codepoint.scala
--- a/src/Pure/General/codepoint.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/General/codepoint.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -7,17 +7,13 @@
 package isabelle
 
 
-object Codepoint
-{
+object Codepoint {
   def string(c: Int): String = new String(Array(c), 0, 1)
 
-  private class Iterator_Offset[A](s: String, result: (Int, Text.Offset) => A)
-    extends Iterator[A]
-  {
+  private class Iterator_Offset[A](s: String, result: (Int, Text.Offset) => A) extends Iterator[A] {
     var offset = 0
     def hasNext: Boolean = offset < s.length
-    def next(): A =
-    {
+    def next(): A = {
       val c = s.codePointAt(offset)
       val i = offset
       offset += Character.charCount(c)