From eac69d2a73fa42c5dd6ec42340f097554e95e69f Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 7 Aug 2014 15:38:27 +0100
Subject: Fix bug introduced by last commit

---
 src/lem_interp/interp.lem | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index 5c840522..e4cfb4ad 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -1639,8 +1639,8 @@ and interp_main mode t_level l_env l_mem (E_aux exp (l,annot)) =
 					      (Action (Write_mem id a range value) stack)
 					    | _ -> update_stack a (add_to_top_frame 
 								     (fun e env -> 
-                                                                       let (e,env') = (to_exp mode env v) in
-                                                                       (E_aux (E_assign (lexp_builder e) e) (l,annot),env'))) end))
+                                                                       let (ev,env') = (to_exp mode env v) in
+                                                                       (E_aux (E_assign (lexp_builder e) ev) (l,annot),env'))) end))
 		       end))
                     (fun a -> update_stack a (add_to_top_frame (fun v env -> (E_aux (E_assign lexp v) (l,annot), env))))
   end
-- 
cgit v1.2.3