HCoop
/
hcoop
/
domtool2.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fix regeneration of multi-file dependencies
[hcoop/domtool2.git]
/
src
/
eval.sml
diff --git
a/src/eval.sml
b/src/eval.sml
index
c41f796
..
08fd7f5
100644
(file)
--- 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