diff options
| author | Alasdair Armstrong | 2017-10-10 16:13:07 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-10-10 16:13:07 +0100 |
| commit | c04f12582355cd7e31a068490973da619c4aa690 (patch) | |
| tree | 398eae02719b04794929e8b53942fa104b9a22d2 /src/lexer2.mll | |
| parent | 34d76d1234bfd3ecae1e3e39687d0d202c0fb02c (diff) | |
Fixes to menhir parser and pretty printer
Diffstat (limited to 'src/lexer2.mll')
| -rw-r--r-- | src/lexer2.mll | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/lexer2.mll b/src/lexer2.mll index 5b711287..f017667a 100644 --- a/src/lexer2.mll +++ b/src/lexer2.mll @@ -121,6 +121,7 @@ let kw_table = ("catch", (fun _ -> Catch)); ("if", (fun x -> If_)); ("in", (fun x -> In)); + ("integer", (fun _ -> Integer)); ("inc", (fun _ -> Inc)); ("IN", (fun x -> IN)); ("let", (fun x -> Let_)); |