Merge branch 'experiments' of bitbucket.org:Peter_Sewell/sail into mono-experiments

1 files changed, 3 insertions, 0 deletions

diff --git a/src/lexer.mll b/src/lexer.mll
index 228ca38f..cf3c9baf 100644
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -78,6 +78,9 @@ let kw_table =
      ("extern",                  (fun _ -> Extern));
      ("cast",                    (fun _ -> Cast));
      ("false",                   (fun _ -> False));
+     ("try",                     (fun _ -> Try));
+     ("catch",                   (fun _ -> Catch));
+     ("throw",                   (fun _ -> Throw));
      ("forall",                  (fun _ -> Forall));
      ("exist",                   (fun _ -> Exist));
      ("foreach",                 (fun _ -> Foreach));