Fix environment calculation rule for ELocal

[hcoop/domtool2.git] / src / eval.sml

diff --git a/src/eval.sml b/src/eval.sml
index 6cbeca7..0cabf34 100644 (file)
--- 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
       | ELocal (e1, e2) =>
        let
            val evs' = exec' evs e1

-           val evs'' = exec' (conjoin (evs, evs')) e2

        in
        in

-           conjoin (evs, evs'')
+           exec' (conjoin (evs, evs')) e2

        end
       | EWith (e1, e2) =>
        let
        end
       | EWith (e1, e2) =>
        let