diff options
| author | Anteru <bitbucket@ca.sh13.net> | 2019-05-21 16:32:04 +0000 |
|---|---|---|
| committer | Anteru <bitbucket@ca.sh13.net> | 2019-05-21 16:32:04 +0000 |
| commit | 9c84bc6450663888e243268621dcf71eab18ed11 (patch) | |
| tree | 15231faf42954c633413b5c06369da6b05949ed7 /pygments/lexers/theorem.py | |
| parent | c0db1e260ea7e399a1f34bc9966914298e1b6b17 (diff) | |
| parent | 8202e648945351366bd0c465d72953fae40f4783 (diff) | |
| download | pygments-9c84bc6450663888e243268621dcf71eab18ed11.tar.gz | |
Merged in lucatorella/pygments-main (pull request #813)
Add support for @import keyword in Objective-C
Diffstat (limited to 'pygments/lexers/theorem.py')
| -rw-r--r-- | pygments/lexers/theorem.py | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/pygments/lexers/theorem.py b/pygments/lexers/theorem.py index e84a398b..e7619c33 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -98,7 +98,6 @@ class CoqLexer(RegexLexer): operators = r'[!$%&*+\./:<=>?@^|~-]' prefix_syms = r'[!?~]' infix_syms = r'[=<>@^|&+\*/$%-]' - primitives = ('unit', 'nat', 'bool', 'string', 'ascii', 'list') tokens = { 'root': [ @@ -115,7 +114,6 @@ class CoqLexer(RegexLexer): (r'\b([A-Z][\w\']*)', Name), (r'(%s)' % '|'.join(keyopts[::-1]), Operator), (r'(%s|%s)?%s' % (infix_syms, prefix_syms, operators), Operator), - (r'\b(%s)\b' % '|'.join(primitives), Keyword.Type), (r"[^\W\d][\w']*", Name), |