diff options
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"])], |