From 73b87d3545adf11b434837d0fee28500ef009bd6 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 22 Oct 2009 17:36:30 -0400
Subject: Chars working with SQLite

---
 src/monoize.sml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/monoize.sml')

diff --git a/src/monoize.sml b/src/monoize.sml
index 6512eb1e..0a9f8e86 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -1876,7 +1876,8 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
                                                ],
 
                                            (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"])],
-- 
cgit v1.2.3