Current state of affairs.

1 files changed, 2 insertions, 2 deletions

diff --git a/lexer.py b/lexer.py
index 52080b0..a16a38a 100644
--- a/lexer.py
+++ b/lexer.py
@@ -7,9 +7,9 @@ from pathlib import Path
 class SystemTLexer(OcamlLexer):
     name = 'System T'
     aliases = ['syst']
-    filenames = ['*.syst'] # just to have one if you whant to use
+    filenames = ['*.syst']
 
-    EXTRA_KEYWORDS = ['primrec',  'prl', 'prr', 'fold']
+    EXTRA_KEYWORDS = ['primrec', 'fold', 'foldmatch', 'roll']
 
     def get_tokens_unprocessed(self, text):
         for index, token, value in OcamlLexer.get_tokens_unprocessed(self, text):