aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/monoize.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-04-26 11:15:21 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2014-04-26 11:15:21 -0400
commit594a11380b6a2ca2ed18bf67fba32d6e588ee5e8 (patch)
tree7b8755b953e3ad009a23d1b8967fee5e8e70134d /src/monoize.sml
parent117212685a7e27429ad6b50505919fe546788bda (diff)
Fix a bug in GROUP BY generation [keeping within today's release]
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index 000ba7b6..769a1e32 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -2131,7 +2131,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
strcatComma
(map (fn (x', _) =>
sc ("T_" ^ x
- ^ ""
+ ^ "."
^ Settings.mangleSql x'))
xts)) grouped)
],