diff options
Diffstat (limited to 'lexer.py')
-rw-r--r-- | lexer.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -9,7 +9,7 @@ class SystemTLexer(OcamlLexer): aliases = ['syst'] filenames = ['*.syst'] - EXTRA_KEYWORDS = ['primrec', 'fold', 'foldmatch', 'roll'] + EXTRA_KEYWORDS = ['primrec', 'fold', 'foldmatch', 'roll', 'roll2'] def get_tokens_unprocessed(self, text): for index, token, value in OcamlLexer.get_tokens_unprocessed(self, text): |