| Index: tools/lexer_generator/automaton.py
|
| diff --git a/tools/lexer_generator/automaton.py b/tools/lexer_generator/automaton.py
|
| index 7321fae5972459374fb9bd33d04a8031fb8f9a40..ddd59fed54e5971cdcc0d1c720d619ba567321f4 100644
|
| --- a/tools/lexer_generator/automaton.py
|
| +++ b/tools/lexer_generator/automaton.py
|
| @@ -217,6 +217,8 @@ class Automaton(object):
|
| for key, state in node.key_state_iter():
|
| if key == TransitionKey.epsilon():
|
| key = "ε"
|
| + else:
|
| + key = key.to_string(self.encoding())
|
| edge_content.append(" S_%s -> S_%s [ label = \"%s\" ];" % (
|
| node.node_number(), state.node_number(), escape(key)))
|
| return (node_content, edge_content)
|
|
|