| Index: tools/lexer_generator/rule_parser.py
|
| diff --git a/tools/lexer_generator/rule_parser.py b/tools/lexer_generator/rule_parser.py
|
| index d6468a027818490a7db88d076c306b45db22971e..2884e3dee552a2d32bd97ae090c70335b96efa55 100644
|
| --- a/tools/lexer_generator/rule_parser.py
|
| +++ b/tools/lexer_generator/rule_parser.py
|
| @@ -169,7 +169,8 @@ class RuleParser:
|
|
|
| def p_regex(self, p):
|
| 'regex : REGEX'
|
| - p[0] = RegexParser.parse(p[1][1:-1])
|
| + string = p[1][1:-1].replace("\\/", "/")
|
| + p[0] = RegexParser.parse(string)
|
|
|
| def p_regex_class(self, p):
|
| 'regex_class : CHARACTER_CLASS_REGEX'
|
|
|