| changeset 75406 | 85e8b4c2b9a9 |
| parent 75405 | b13ab7d11b90 |
| child 75420 | 73a2f3fe0e8c |
--- a/src/Pure/General/json.scala Mon Apr 04 23:33:14 2022 +0200 +++ b/src/Pure/General/json.scala Mon Apr 04 23:46:14 2022 +0200 @@ -39,7 +39,7 @@ /* lexer */ object Kind extends Enumeration { - val KEYWORD, STRING, NUMBER, ERROR = Value + val KEYWORD, STRING, NUMBER, ERROR = this.Value } sealed case class Token(kind: Kind.Value, text: String) {