diff src/monoize.sml @ 1014:ea9f03ac2710

Chars working with SQLite
author Adam Chlipala <adamc@hcoop.net>
date Thu, 22 Oct 2009 17:36:30 -0400
parents 16f7cb0891b6
children dfe34fad749d
line wrap: on
line diff
--- a/src/monoize.sml	Thu Oct 22 17:04:37 2009 -0400
+++ b/src/monoize.sml	Thu Oct 22 17:36:30 2009 -0400
@@ -1876,7 +1876,8 @@
                                                ],
 
                                            (L'.ECase (gf "Having",
-                                                      [((L'.PPrim (Prim.String "TRUE"), loc),
+                                                      [((L'.PPrim (Prim.String
+                                                                       (#trueString (Settings.currentDbms ()))), loc),
                                                         sc ""),
                                                        ((L'.PWild, loc),
                                                         strcat [sc " HAVING ", gf "Having"])],