diff -r ff7ce802be52 -r 0af9e7e4476f src/Pure/General/codepoint.scala
--- a/src/Pure/General/codepoint.scala	Mon Mar 01 18:31:11 2021 +0100
+++ b/src/Pure/General/codepoint.scala	Mon Mar 01 19:41:52 2021 +0100
@@ -18,7 +18,7 @@
   {
     var offset = 0
     def hasNext: Boolean = offset < s.length
-    def next: A =
+    def next(): A =
     {
       val c = s.codePointAt(offset)
       val i = offset