1 files changed, 1 insertions, 0 deletions
diff --git a/src/lexer.mll b/src/lexer.mll
index 45d8b3c2..228ca38f 100644
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -79,6 +79,7 @@ let kw_table =
      ("cast",                    (fun _ -> Cast));
      ("false",                   (fun _ -> False));
      ("forall",                  (fun _ -> Forall));
+     ("exist",                   (fun _ -> Exist));
      ("foreach",                 (fun _ -> Foreach));
      ("function",                (fun x -> Function_));
      ("overload",                (fun _ -> Overload));