| Index: tools/lexer_generator/dot_utilities.py
|
| diff --git a/tools/lexer_generator/dot_utilities.py b/tools/lexer_generator/dot_utilities.py
|
| index ebd7a4950af102bdd38c6537ecb3a32897a6860f..533ef2243ab66379ce033e92ea2d914f54ead121 100644
|
| --- a/tools/lexer_generator/dot_utilities.py
|
| +++ b/tools/lexer_generator/dot_utilities.py
|
| @@ -82,6 +82,8 @@ def automaton_to_dot(automaton):
|
| for key, state in node.key_state_iter():
|
| if key == TransitionKey.epsilon():
|
| key = "ε"
|
| + elif key == TransitionKey.omega():
|
| + key = "ω"
|
| else:
|
| key = key.to_string(automaton.encoding())
|
| edge_content.append(" S_%s -> S_%s [ label = \"%s\" ];" % (
|
|
|