diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-10-22 17:36:30 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-10-22 17:36:30 -0400 |
| commit | 73b87d3545adf11b434837d0fee28500ef009bd6 (patch) | |
| tree | 4b2eee33b6c42ab787f16df7b8bfc48e6f910b5a /src/monoize.sml | |
| parent | 4e7c75607f1c93d4d3fe983aede819d1da483f1b (diff) | |
Chars working with SQLite
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 3 |
1 files changed, 2 insertions, 1 deletions
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"])], |