1 files changed, 2 insertions, 1 deletions
diff --git a/lexer.py b/lexer.py
index cdce839..8a2cbb4 100644
--- a/lexer.py
+++ b/lexer.py
@@ -11,12 +11,13 @@ class SystemTLexer(OcamlLexer):
 
     EXTRA_KEYWORDS = [
         'arb',
-        'arb)',
         'fold',
         'foldmatch',
+        'inj',
         'map',
         'max',
         'primrec',
+        'prj',
         'roll',
         'roll2',
     ]