summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-09-24 12:26:30 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-09-24 12:26:30 -0400
commit0cfe89db7880e86246d489fe8ca0a769845519fe (patch)
tree8cc6b8c45407ba82a2dbddbd43282c5677c1105c
parent0c069782302f9df12f6370fc9b1805ee2bb9134e (diff)
Fix sel() generation bug
-rw-r--r--src/monoize.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index e0744cbe..e9f1588e 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -2831,7 +2831,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
val sc = strcat [str "sel(exec(",
(L'.EJavaScript (L'.Script, src), loc),
- str ",",
+ str "),exec(",
(L'.EJavaScript (L'.Script, xml), loc),
str "))"]
val sc = setAttrs sc