diff options
| author | Georg Brandl <georg@python.org> | 2014-11-06 12:26:04 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2014-11-06 12:26:04 +0100 |
| commit | 9f1763bdbb8c156dd1c5897c50d5cfcf1ccad4c7 (patch) | |
| tree | 38aecd295c761beac1ffba59efce26f1e274b4d0 /pygments/lexers/theorem.py | |
| parent | f8417e3412d061538ddff8b707048112120f3647 (diff) | |
| download | pygments-9f1763bdbb8c156dd1c5897c50d5cfcf1ccad4c7.tar.gz | |
Simplify charclasses in a few more modules
Diffstat (limited to 'pygments/lexers/theorem.py')
| -rw-r--r-- | pygments/lexers/theorem.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pygments/lexers/theorem.py b/pygments/lexers/theorem.py index a59b86ae..9c59d471 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -352,7 +352,7 @@ class IsabelleLexer(RegexLexer): (r'[(*)]', Comment), ], 'text': [ - (r'[^\*\}]+', Comment), + (r'[^*}]+', Comment), (r'\*\}', Comment, '#pop'), (r'\*', Comment), (r'\}', Comment), |