HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Added concept of multiple nodes
[hcoop/domtool2.git]
/
src
/
eval.sml
diff --git
a/src/eval.sml
b/src/eval.sml
index
37a5d63
..
232a8aa
100644
(file)
--- a/
src/eval.sml
+++ b/
src/eval.sml
@@
-103,9
+103,10
@@
fun exec evs e =
| SOME action => action (evs, args)
end
+ val _ = Env.pre ()
val evs' = exec' evs e
in
- ()
+
Env.post
()
end
end