diff options
| author | Kathy Gray | 2016-05-12 14:06:10 +0100 |
|---|---|---|
| committer | Kathy Gray | 2016-05-27 10:10:09 +0100 |
| commit | 6145f35df564fa9bd502619dfd812df21cd9f333 (patch) | |
| tree | 26e21ccd2d1d9050593aa039fe8747d1e8898997 /language/l2_parse.ml | |
| parent | 7b3bec91d88cbf79a5d69b3b6e9a1d761e423b3d (diff) | |
Also add to ott
Diffstat (limited to 'language/l2_parse.ml')
| -rw-r--r-- | language/l2_parse.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/language/l2_parse.ml b/language/l2_parse.ml index d4d71cfe..b94d16fe 100644 --- a/language/l2_parse.ml +++ b/language/l2_parse.ml @@ -1,4 +1,4 @@ -(* generated by Ott 0.24 from: l2_parse.ott *) +(* generated by Ott 0.25 from: l2_parse.ott *) type text = string @@ -231,6 +231,7 @@ exp_aux = (* Expression *) | E_case of exp * (pexp) list (* pattern matching *) | E_let of letbind * exp (* let expression *) | E_assign of exp * exp (* imperative assignment *) + | E_sizeof of atyp | E_exit of exp | E_assert of exp * exp |