X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/a356587aacf682b584fbbebf7b999154755e80c7..f3bb0ab3a60b605b4e77042d89b3713930f4ddbb:/src/eval.sml

diff --git a/src/eval.sml b/src/eval.sml
index c41f796..08fd7f5 100644
--- a/src/eval.sml
+++ b/src/eval.sml
@@ -118,4 +118,6 @@ fun exec evs e =
 	Env.post ()
     end
 
+val exec' = fn evs => fn e => conjoin (evs, exec' evs e)
+
 end