| Index: tools/lexer_generator/regex_lexer.py
|
| diff --git a/tools/lexer_generator/regex_lexer.py b/tools/lexer_generator/regex_lexer.py
|
| index 9d1ef3610cb615698cf059afcba6d454cd06f6a7..262955fa585fee03237158ce497ca37c19cb5d9c 100644
|
| --- a/tools/lexer_generator/regex_lexer.py
|
| +++ b/tools/lexer_generator/regex_lexer.py
|
| @@ -115,7 +115,7 @@ class RegexLexer:
|
| t.value = RegexLexer.__escaped_class_literals[t.value]
|
| return t
|
|
|
| - t_class_CLASS_LITERAL = r'[\w $_+\']'
|
| + t_class_CLASS_LITERAL = r'[\w $_+\'/]'
|
|
|
| def t_REPEAT_BEGIN(self, t):
|
| r'\{'
|
|
|