diff -r ff7ce802be52 -r 0af9e7e4476f src/Pure/library.scala
--- a/src/Pure/library.scala	Mon Mar 01 18:31:11 2021 +0100
+++ b/src/Pure/library.scala	Mon Mar 01 19:41:52 2021 +0100
@@ -82,7 +82,7 @@
       }
       private var state: Option[(CharSequence, Int)] = if (end == 0) None else next_chunk(-1)
 
-      def hasNext(): Boolean = state.isDefined
+      def hasNext: Boolean = state.isDefined
       def next(): CharSequence =
         state match {
           case Some((s, i)) => state = next_chunk(i); s