src/Pure/General/symbol.scala
changeset 73587 0af9e7e4476f
parent 73454 e53f4c5927a1
child 73602 ec52a1a6ed31
--- a/src/Pure/General/symbol.scala	Mon Mar 01 18:31:11 2021 +0100
+++ b/src/Pure/General/symbol.scala	Mon Mar 01 19:41:52 2021 +0100
@@ -117,7 +117,7 @@
       private val matcher = new Matcher(text)
       private var i = 0
       def hasNext: Boolean = i < text.length
-      def next: Symbol =
+      def next(): Symbol =
       {
         val n = matcher(i, text.length)
         val s =