Updated syntax with working examples

1 files changed, 1 insertions, 0 deletions

diff --git a/src/lexer.mll b/src/lexer.mll
index 52be6084..80fd06f4 100644
--- a/src/lexer.mll
+++ b/src/lexer.mll
@@ -66,6 +66,7 @@ let kw_table =
      ("clause",                  (fun _ -> Clause));
      ("const",			 (fun _ -> Const));
      ("default",		 (fun _ -> Default));
+     ("deinfix",                 (fun _ -> Deinfix));
      ("effect",                  (fun _ -> Effect));
      ("Effects",                 (fun _ -> Effects));
      ("end",                     (fun _ -> End));