| Index: tools/lexer_generator/rule_parser.py
|
| diff --git a/tools/lexer_generator/rule_parser.py b/tools/lexer_generator/rule_parser.py
|
| index 046806fd0e4f36461f2b66485540fd8609222365..86f62d641012c6384030495579c189738b00619b 100644
|
| --- a/tools/lexer_generator/rule_parser.py
|
| +++ b/tools/lexer_generator/rule_parser.py
|
| @@ -150,8 +150,9 @@ class RuleParser:
|
|
|
| def p_regex_string_literal(self, p):
|
| 'regex_string_literal : STRING'
|
| + string = p[1][1:-1]
|
| escape_char = lambda string, char: string.replace(char, "\\" + char)
|
| - string = reduce(escape_char, "\+?*|.[](){}", p[1][1:-1])
|
| + string = reduce(escape_char, "+?*|.[](){}", string).replace("\\\"", "\"")
|
| p[0] = RegexParser.parse(string)
|
|
|
| def p_regex(self, p):
|
|
|