From e47271a147faaa62f43929ab16b3a668b87cd89e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sun, 20 May 2007 21:41:14 +0000
Subject: [PATCH] Fix environment calculation rule for ELocal

---
 src/eval.sml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/eval.sml b/src/eval.sml
index 6cbeca7..0cabf34 100644
--- a/src/eval.sml
+++ b/src/eval.sml
@@ -77,9 +77,8 @@ fun exec' evs (eAll as (e, _)) =
       | ELocal (e1, e2) =>
 	let
 	    val evs' = exec' evs e1
-	    val evs'' = exec' (conjoin (evs, evs')) e2
 	in
-	    conjoin (evs, evs'')
+	    exec' (conjoin (evs, evs')) e2
 	end
       | EWith (e1, e2) =>
 	let
-- 
2.20.1