1 files changed, 1 insertions, 0 deletions
diff --git a/src/lexer.mll b/src/lexer.mll
index f3d93d95..616c42b4 100644
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -128,6 +128,7 @@ let kw_table =
      ("forall",                  (fun _ -> Forall));
      ("foreach",                 (fun _ -> Foreach));
      ("function",                (fun x -> Function_));
+     ("mapping",                 (fun _ -> Mapping));
      ("overload",                (fun _ -> Overload));
      ("throw",                   (fun _ -> Throw));
      ("try",                     (fun _ -> Try));