diff options
| author | Tim Hatch <tim@timhatch.com> | 2014-10-04 11:06:28 -0700 |
|---|---|---|
| committer | Tim Hatch <tim@timhatch.com> | 2014-10-04 11:06:28 -0700 |
| commit | 900ce2be770ce98e7a93d5e687ae6a0184b2015c (patch) | |
| tree | 79326f0131a31ddb903294f2e21973a7de1c6a6a /pygments/lexers/theorem.py | |
| parent | 9bfaf9454e6301a6b5da0c30f4ca029c1f227a97 (diff) | |
| download | pygments-900ce2be770ce98e7a93d5e687ae6a0184b2015c.tar.gz | |
Fix minor problems noted by regexlint and 'make check'
Diffstat (limited to 'pygments/lexers/theorem.py')
| -rw-r--r-- | pygments/lexers/theorem.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pygments/lexers/theorem.py b/pygments/lexers/theorem.py index 94e6bae8..5292c892 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -300,8 +300,8 @@ class IsabelleLexer(RegexLexer): (r'\(\*', Comment, 'comment'), (r'\{\*', Comment, 'text'), - (r'(%s)' % '|'.join(operators), Operator), - (r'(%s)' % '|'.join(proof_operators), Operator.Word), + (words(operators), Operator), + (words(proof_operators), Operator.Word), (words(keyword_minor, prefix=r'\b', suffix=r'\b'), Keyword.Pseudo), |