diff options
Diffstat (limited to 'pygments/lexers/other.py')
| -rw-r--r-- | pygments/lexers/other.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pygments/lexers/other.py b/pygments/lexers/other.py index d6aba9d8..3f43e3e9 100644 --- a/pygments/lexers/other.py +++ b/pygments/lexers/other.py @@ -4473,7 +4473,7 @@ class AlloyLexer(RegexLexer): (r'(run|check|for|but|exactly|expect|as)\b', Keyword), (r'(and|or|implies|iff|in)\b', Operator.Word), (r'(fun|pred|fact|assert)(\s+)', bygroups(Keyword, Text), 'fun'), - (r'!|#|&&|\+\+|<<|>>|>=|<=|<=>|\.|->', Operator), + (r'!|#|&&|\+\+|<<|>>|>=|<=>|<=|\.|->', Operator), (r'[-+/*%=<>&!^|~\{\}\[\]\(\)\.]', Operator), (iden_rex, Name), (r'[:,]', Punctuation), |