| Index: tools/lexer_generator/dfa.py
|
| diff --git a/tools/lexer_generator/dfa.py b/tools/lexer_generator/dfa.py
|
| index b7963bb2e88e40f11958d4a4d03992da8838250f..64b4d08cce957176f6ee6c3b4d13f31abe4227c5 100644
|
| --- a/tools/lexer_generator/dfa.py
|
| +++ b/tools/lexer_generator/dfa.py
|
| @@ -117,6 +117,7 @@ class Dfa:
|
|
|
| def f(node, node_content):
|
| for key, (state, action) in node.transitions().items():
|
| + key = str(key).replace('\\', '\\\\')
|
| if action:
|
| node_content.append(
|
| " S_%s -> S_%s [ label = \"%s {%s} -> %s\" ];" %
|
|
|