diff options
Diffstat (limited to 'language/l2_parse.ml')
| -rw-r--r-- | language/l2_parse.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2_parse.ml b/language/l2_parse.ml index a283b605..c68c92b9 100644 --- a/language/l2_parse.ml +++ b/language/l2_parse.ml @@ -213,6 +213,7 @@ exp_aux = (* Expression *) | E_vector_subrange of exp * exp * exp (* subvector extraction *) | E_vector_update of exp * exp * exp (* vector functional update *) | E_vector_update_subrange of exp * exp * exp * exp (* vector subrange update (with vector) *) + | E_vector_append of exp * exp (* vector concatenation *) | E_list of (exp) list (* list *) | E_cons of exp * exp (* cons *) | E_record of fexps (* struct *) |