From 0cfe89db7880e86246d489fe8ca0a769845519fe Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 24 Sep 2009 12:26:30 -0400
Subject: Fix sel() generation bug

---
 src/monoize.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

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
-- 
cgit v1.2.3