diff src/mysql.sml @ 1196:134da5110bf7

Relational operators portability
author Adam Chlipala <adamc@hcoop.net>
date Thu, 01 Apr 2010 17:21:16 -0400
parents db52c32dbe42
children 514be09d5018
line wrap: on
line diff
--- a/src/mysql.sml	Sun Mar 28 10:10:35 2010 -0400
+++ b/src/mysql.sml	Thu Apr 01 17:21:16 2010 -0400
@@ -1544,6 +1544,8 @@
                   sqlPrefix = "SET storage_engine=InnoDB;\n\n",
                   supportsOctetLength = true,
                   trueString = "TRUE",
-                  falseString = "FALSE"}
+                  falseString = "FALSE",
+                  onlyUnion = true,
+                  nestedRelops = false}
 
 end