Adding memory writes. Cleaning up the let in the ott file to reflect what actually parses

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 *)