From ef12f496ce674b5351bc7360d8b56a749bff8a2c Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Mon, 25 Jul 2016 14:55:01 +0100
Subject: Fix stack for return

---
 src/lem_interp/interp.lem | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/lem_interp/interp.lem b/src/lem_interp/interp.lem
index a2b496e0..89ffc315 100644
--- a/src/lem_interp/interp.lem
+++ b/src/lem_interp/interp.lem
@@ -2195,7 +2195,7 @@ and interp_main mode t_level l_env l_mem (E_aux exp (l,annot)) =
     resolve_outcome
       (interp_main mode t_level l_env l_mem exp)
       (fun v lm le ->
-         (Action (Return v) (mk_thunk l annot t_level l_env l_mem), l_mem, l_env))
+         (Action (Return v) Top, l_mem, l_env))
       (fun a -> update_stack a (add_to_top_frame (fun e env -> (E_aux (E_return e) (l,annot), env)))) 
   | E_assert cond msg ->
     resolve_outcome 
-- 
cgit v1.2.3