add def to full lexer

1 files changed, 1 insertions, 0 deletions

diff --git a/src/lexer.mll b/src/lexer.mll
index b6328ab7..71295eda 100644
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -70,6 +70,7 @@ let kw_table =
      ("clause",                  (fun _ -> Clause));
      ("const",			 (fun _ -> Const));
      ("dec",                     (fun _ -> Dec));
+     ("def",                     (fun _ -> Def));
      ("default",		 (fun _ -> Default));
      ("deinfix",                 (fun _ -> Deinfix));
      ("effect",                  (fun _ -> Effect));