From 77535d0da9780d7eb0f02b04494da02374d36545 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 31 May 2019 10:02:59 -0400 Subject: MySQL doesn't need us to ask for InnoDB anymore --- src/mysql.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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", -- cgit v1.2.3