summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-02-17 14:34:48 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-02-17 14:34:48 -0500
commitc410ff27bef1eb39bc3a28f2f1d151ad2cb75b98 (patch)
tree6fae61a487467b09c09bef9033dabc1b7e76a35c
parent464b0578c6cde368195afb49ffe8c192515cbe33 (diff)
MySQL does case-sensitive catalog queries
-rw-r--r--src/mysql.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/mysql.sml b/src/mysql.sml
index e34efbd4..29a8c68f 100644
--- a/src/mysql.sml
+++ b/src/mysql.sml
@@ -80,7 +80,7 @@ fun checkRel (table, checkNullable) (s, xts) =
String.substring (sl, 1, size sl - 2)
else
sl
- val both = "LOWER(table_name) = ('" ^ sl ^ "')"
+ val both = "table_name = '" ^ sl ^ "'"
val q = "SELECT COUNT(*) FROM information_schema." ^ table ^ " WHERE " ^ both