diff options
| author | Matthäus G. Chajdas <dev@anteru.net> | 2020-09-08 20:33:25 +0200 |
|---|---|---|
| committer | Matthäus G. Chajdas <dev@anteru.net> | 2020-09-08 20:33:25 +0200 |
| commit | 203ef1eff6daebab6f95b0b49e6e6a58168073fb (patch) | |
| tree | 7defa199f48a34787f980b6400d8bbaa9380039a /pygments/lexers/whiley.py | |
| parent | e09d4e0cf23d7c6069ddc690942ceb4cd23fd556 (diff) | |
| parent | b2c91c70ee536b0472100d1273818f8bb45529fe (diff) | |
| download | pygments-git-bug/angular-html.tar.gz | |
Merge branch 'master' into bug/angular-htmlbug/angular-html
# Conflicts:
# tests/test_shell.py
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), |