diff options
| author | Tim Hatch <tim@timhatch.com> | 2012-03-09 12:06:19 -0800 |
|---|---|---|
| committer | Tim Hatch <tim@timhatch.com> | 2012-03-09 12:06:19 -0800 |
| commit | c91c3ff7df0688be4f51888d45322969cecb9090 (patch) | |
| tree | eb428d42a0b3f08b95d2dfef4b4d39e11b782b92 | |
| parent | d477e2cfb69dea7f9c8a3c10ad3912abd7cb612f (diff) | |
| download | pygments-c91c3ff7df0688be4f51888d45322969cecb9090.tar.gz | |
Fix an ordering issue in CoqLexer
---
pygments/lexers/functional.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
| -rw-r--r-- | pygments/lexers/functional.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pygments/lexers/functional.py b/pygments/lexers/functional.py index a141ee87..721d953e 100644 --- a/pygments/lexers/functional.py +++ b/pygments/lexers/functional.py @@ -1496,7 +1496,7 @@ class CoqLexer(RegexLexer): (r'\b([A-Z][A-Za-z0-9_\']*)(?=\s*\.)', Name.Namespace, 'dotted'), (r'\b([A-Z][A-Za-z0-9_\']*)', Name.Class), - (r'(%s)' % '|'.join(keyopts), Operator), + (r'(%s)' % '|'.join(keyopts[::-1]), Operator), (r'(%s|%s)?%s' % (infix_syms, prefix_syms, operators), Operator), (r'\b(%s)\b' % '|'.join(word_operators), Operator.Word), (r'\b(%s)\b' % '|'.join(primitives), Keyword.Type), |