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