diff options
Diffstat (limited to 'pygments/lexers/whiley.py')
| -rw-r--r-- | pygments/lexers/whiley.py | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pygments/lexers/whiley.py b/pygments/lexers/whiley.py index 255e9d22..fad94e90 100644 --- a/pygments/lexers/whiley.py +++ b/pygments/lexers/whiley.py @@ -97,11 +97,11 @@ class WhileyLexer(RegexLexer): # operators and punctuation (r'[{}()\[\],.;]', Punctuation), - (u'[+\\-*/%&|<>^!~@=:?' + (r'[+\-*/%&|<>^!~@=:?' # unicode operators - u'\u2200\u2203\u2205\u2282\u2286\u2283\u2287' - u'\u222A\u2229\u2264\u2265\u2208\u2227\u2228' - u']', Operator), + r'\u2200\u2203\u2205\u2282\u2286\u2283\u2287' + r'\u222A\u2229\u2264\u2265\u2208\u2227\u2228' + r']', Operator), # identifier (r'[a-zA-Z_]\w*', Name), |