From 6337358bed21a199da8663fe198457c799e11467 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 17 Feb 2014 14:34:48 -0500 Subject: MySQL does case-sensitive catalog queries --- src/mysql.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/mysql.sml') 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 -- cgit v1.2.3