diff options
Diffstat (limited to 'language/l2.ml')
| -rw-r--r-- | language/l2.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/language/l2.ml b/language/l2.ml index bf5ecf31..786d04ab 100644 --- a/language/l2.ml +++ b/language/l2.ml @@ -248,6 +248,7 @@ and 'a exp = and 'a lexp_aux = (* lvalue expression *) LEXP_id of id (* identifier *) + | LEXP_memory of id * 'a exp (* memory write via function call *) | LEXP_vector of 'a lexp * 'a exp (* vector element *) | LEXP_vector_range of 'a lexp * 'a exp * 'a exp (* subvector *) | LEXP_field of 'a lexp * id (* struct field *) |