X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/1cbe917465857acd366e4058d1f71c5653720b17..8cbb96323335d1a2b42a9daac94a9d538ab93536:/src/eval.sml?ds=sidebyside

diff --git a/src/eval.sml b/src/eval.sml
index 0cabf34..8789eac 100644
--- a/src/eval.sml
+++ b/src/eval.sml
@@ -60,7 +60,7 @@ fun exec' evs (eAll as (e, _)) =
     case e of
 	ESkip => SM.empty
       | ESet (ev, e) => SM.insert (SM.empty, ev, e)
-      | EGet (x, ev, e) => exec' evs (Reduce.subst x (lookup (evs, ev)) e)
+      | EGet (x, _, ev, e) => exec' evs (Reduce.subst x (lookup (evs, ev)) e)
       | ESeq es =>
 	let
 	    val (new, _) =