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

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