summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2019-05-31 10:02:59 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2019-05-31 10:02:59 -0400
commit77535d0da9780d7eb0f02b04494da02374d36545 (patch)
tree23f0f71285a818ecc1cd97c0acc3c602b7f328ae
parent94ea84354715c4a2bb30cd4aaeaaba506358d1d6 (diff)
MySQL doesn't need us to ask for InnoDB anymore
-rw-r--r--src/mysql.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mysql.sml b/src/mysql.sml
index a826f3ef..e2b0b3b0 100644
--- a/src/mysql.sml
+++ b/src/mysql.sml
@@ -1602,7 +1602,7 @@ val () = addDbms {name = "mysql",
textKeysNeedLengths = true,
supportsNextval = false,
supportsNestedPrepared = false,
- sqlPrefix = "SET storage_engine=InnoDB;\n\n",
+ sqlPrefix = "",
supportsOctetLength = true,
trueString = "TRUE",
falseString = "FALSE",