# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1253809590 14400
# Node ID 27a3412d23e4762fde7860b1a5ef6af5647dd040
# Parent  134e8a4de36bc6a47dbf118b6e7988ae96294c41
Fix sel() generation bug

diff -r 134e8a4de36b -r 27a3412d23e4 src/monoize.sml
--- a/src/monoize.sml	Thu Sep 24 11:15:21 2009 -0400
+++ b/src/monoize.sml	Thu Sep 24 12:26:30 2009 -0400
@@ -2831,7 +2831,7 @@
 
                              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