diff options
| author | Evan Jenkins <ejenk@ejenk.com> | 2014-07-12 05:18:34 +0000 |
|---|---|---|
| committer | Evan Jenkins <ejenk@ejenk.com> | 2014-07-12 05:18:34 +0000 |
| commit | 53733f9430a6f2bcc27f24b11ffec739d465c295 (patch) | |
| tree | 4d05314d486fa7b17f769bdcf638c51363aabdfc /pygments | |
| parent | 2f1c724903db081f1d6941d366ca95070049e94b (diff) | |
| download | pygments-53733f9430a6f2bcc27f24b11ffec739d465c295.tar.gz | |
`exaxt` => `exact` in Idris lexer
Diffstat (limited to 'pygments')
| -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 a22c4f55..a28345a3 100644 --- a/pygments/lexers/functional.py +++ b/pygments/lexers/functional.py @@ -1530,7 +1530,7 @@ class IdrisLexer(RegexLexer): 'let','proof','of','then','static','where','_','with', 'pattern', 'term', 'syntax','prefix', 'postulate','parameters','record','dsl','impossible','implicit', - 'tactics','intros','intro','compute','refine','exaxt','trivial'] + 'tactics','intros','intro','compute','refine','exact','trivial'] ascii = ['NUL','SOH','[SE]TX','EOT','ENQ','ACK', 'BEL','BS','HT','LF','VT','FF','CR','S[OI]','DLE', |