diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lexer.mll | 1 |
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)); |