From 594a11380b6a2ca2ed18bf67fba32d6e588ee5e8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 26 Apr 2014 11:15:21 -0400 Subject: Fix a bug in GROUP BY generation [keeping within today's release] --- src/monoize.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/monoize.sml') 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) ], -- cgit v1.2.3