| Index: frog/scripts/token_kind_gen.py
|
| diff --git a/frog/scripts/token_kind_gen.py b/frog/scripts/token_kind_gen.py
|
| index 5824ed05eb74198d1967f83a78da0136a23c2cbc..69fe6be8da313ccaa70d790e0a18c1a0733aa0d4 100644
|
| --- a/frog/scripts/token_kind_gen.py
|
| +++ b/frog/scripts/token_kind_gen.py
|
| @@ -60,9 +60,8 @@ def main():
|
| cw.enterBlock('switch(name) {')
|
| for tok in tokens:
|
| if tok.methodName is not None:
|
| - dname = repr(tok.methodName).replace('$', '\\$')
|
| - cw.writeln('case %s: return %s;' % (dname, repr(tok.text)))
|
| - cw.writeln("case '\\$ne': return '!=';");
|
| + cw.writeln('case %r: return %r;' % (tok.methodName, tok.text))
|
| + cw.writeln("case ':ne': return '!=';");
|
| cw.exitBlock('}')
|
| cw.exitBlock('}')
|
|
|
|
|