# HG changeset patch # User Adam Chlipala # Date 1398525321 14400 # Node ID 67a6ba016a7875a9da920a7b051cc05a1b1be482 # Parent 8e45bb2c904636ac28652c108e5494f09d9a9b11 Fix a bug in GROUP BY generation [keeping within today's release] diff -r 8e45bb2c9046 -r 67a6ba016a78 src/monoize.sml --- a/src/monoize.sml Sat Apr 26 09:42:35 2014 -0400 +++ b/src/monoize.sml Sat Apr 26 11:15:21 2014 -0400 @@ -2131,7 +2131,7 @@ strcatComma (map (fn (x', _) => sc ("T_" ^ x - ^ "" + ^ "." ^ Settings.mangleSql x')) xts)) grouped) ],