X-Git-Url: https://git.hcoop.net/hcoop/domtool2.git/blobdiff_plain/8e965b2da49aab1faef95b25471513498ceca895..1824f573f7f8720514af1dc94d7cfb1de5b15fef:/src/eval.sig

diff --git a/src/eval.sig b/src/eval.sig
index e9cd6aa..3d05210 100644
--- a/src/eval.sig
+++ b/src/eval.sig
@@ -21,5 +21,6 @@
 signature EVAL = sig
 
     val exec : Env.env_vars -> Ast.exp -> unit
+    val exec' : Env.env_vars -> Ast.exp -> Env.env_vars
     
 end