diff options
| author | Georg Brandl <georg@python.org> | 2014-10-15 21:32:31 +0200 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2014-10-15 21:32:31 +0200 |
| commit | 10be9bec8a7969a40d4fa3483b8317e0131b1715 (patch) | |
| tree | 7047dd543253b4a5f0002c377cce59e3589a2aeb /pygments/lexers/theorem.py | |
| parent | 6095eb22ab78b1754aeb56d67754cc4cb401e843 (diff) | |
| download | pygments-10be9bec8a7969a40d4fa3483b8317e0131b1715.tar.gz | |
all lexers: fix unescaped { and } so that the "regex" module can compile our regexes
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 ba942dbf..137355f1 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -85,8 +85,8 @@ class CoqLexer(RegexLexer): keyopts = ( '!=', '#', '&', '&&', r'\(', r'\)', r'\*', r'\+', ',', '-', r'-\.', '->', r'\.', r'\.\.', ':', '::', ':=', ':>', ';', ';;', '<', '<-', - '<->', '=', '>', '>]', '>}', r'\?', r'\?\?', r'\[', r'\[<', r'\[>', - r'\[\|', ']', '_', '`', '{', '{<', r'\|', r'\|]', '}', '~', '=>', + '<->', '=', '>', '>]', r'>\}', r'\?', r'\?\?', r'\[', r'\[<', r'\[>', + r'\[\|', ']', '_', '`', r'\{', r'\{<', r'\|', r'\|]', r'\}', '~', '=>', r'/\\', r'\\/', u'Π', u'λ', ) |