| Index: tools/lexer_generator/rule_lexer.py
|
| diff --git a/tools/lexer_generator/rule_lexer.py b/tools/lexer_generator/rule_lexer.py
|
| index e8a6207d4e0b79f85011764d71deaa9945ef7b56..0f5865afcb6f52410fa57f77916ac99b4d5ba8dc 100644
|
| --- a/tools/lexer_generator/rule_lexer.py
|
| +++ b/tools/lexer_generator/rule_lexer.py
|
| @@ -80,7 +80,7 @@ class RuleLexer:
|
| return t
|
|
|
| t_STRING = r'"((\\("|\w|\\))|[^\\"])+"'
|
| - t_REGEX = r'/[^\/]+/'
|
| + t_REGEX = r'/(\\/|[^/])+/'
|
| t_CHARACTER_CLASS_REGEX = r'\[([^\]]|\\\])+\]'
|
|
|
| t_PLUS = r'\+'
|
|
|