Mercurial > urweb
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"])],