diff options
| author | sperezde <sperezde@csail.mit.edu> | 2014-05-17 19:20:27 -0400 |
|---|---|---|
| committer | sperezde <sperezde@csail.mit.edu> | 2014-05-17 19:20:27 -0400 |
| commit | aa0f9beb673dcbe5751027d1bf82e9b2e7b52e19 (patch) | |
| tree | 5b676a28863ebf6425a057dc1d983858d74cbf47 /pygments/lexers/other.py | |
| parent | e3dab762e75479b40df858330d5ed6ceaaf231a3 (diff) | |
| download | pygments-aa0f9beb673dcbe5751027d1bf82e9b2e7b52e19.tar.gz | |
fixed bug in AlloyLexer
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), |