Merge branch 'sail2' into rmem_interpreter

1 files changed, 2 insertions, 0 deletions

diff --git a/src/lexer.mll b/src/lexer.mll
index cc49073c..cbefa601 100644
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -163,6 +163,8 @@ let kw_table =
      ("do",                      (fun _ -> Do));
      ("mutual",                  (fun _ -> Mutual));
      ("bitfield",                (fun _ -> Bitfield));
+     ("tuple",                   (fun _ -> Tuple));
+     ("where",                   (fun _ -> Where));
 
      ("barr",                    (fun x -> Barr));
      ("depend",                  (fun x -> Depend));