| Index: tools/lexer_generator/transition_keys.py
|
| diff --git a/tools/lexer_generator/transition_keys.py b/tools/lexer_generator/transition_keys.py
|
| index b3dc04d9560cd3d45c63729ed3d562cc28c4397b..906e7044ee97194298269c443a3d06786c6543b4 100644
|
| --- a/tools/lexer_generator/transition_keys.py
|
| +++ b/tools/lexer_generator/transition_keys.py
|
| @@ -241,8 +241,8 @@ class TransitionKey(object):
|
| r = component.args()
|
| to_str = lambda x: KeyEncoding.to_str(encoding, x)
|
| if r[0] == r[1]:
|
| - return '%s' % to_str(r[0])
|
| - return '[%s-%s]' % (to_str(r[0]), to_str(r[1]))
|
| + return "'%s'" % to_str(r[0])
|
| + return "['%s'-'%s']" % (to_str(r[0]), to_str(r[1]))
|
| raise Exception('unprintable %s' % component)
|
|
|
| def __flatten(self):
|
|
|