diff src/sqlite.sml @ 1196:134da5110bf7

Relational operators portability
author Adam Chlipala <adamc@hcoop.net>
date Thu, 01 Apr 2010 17:21:16 -0400
parents 150465f2895c
children 459a334345ae
line wrap: on
line diff
--- a/src/sqlite.sml	Sun Mar 28 10:10:35 2010 -0400
+++ b/src/sqlite.sml	Thu Apr 01 17:21:16 2010 -0400
@@ -837,6 +837,8 @@
                   sqlPrefix = "",
                   supportsOctetLength = false,
                   trueString = "1",
-                  falseString = "0"}
+                  falseString = "0",
+                  onlyUnion = false,
+                  nestedRelops = false}
 
 end