From 1973011a14931c9946d9d7a04efc90087c7828ff Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 15 Jan 2014 14:54:26 -0500 Subject: Postgres: look up table names case-sensitively in catalog --- src/postgres.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/postgres.sml') diff --git a/src/postgres.sml b/src/postgres.sml index 6ed7eeb0..b97226c1 100644 --- a/src/postgres.sml +++ b/src/postgres.sml @@ -68,7 +68,7 @@ fun checkRel (table, checkNullable) (s, xts) = else sl - val q = "SELECT COUNT(*) FROM information_schema." ^ table ^ " WHERE LOWER(table_name) = '" + val q = "SELECT COUNT(*) FROM information_schema." ^ table ^ " WHERE table_name = '" ^ sl ^ "'" val q' = String.concat ["SELECT COUNT(*) FROM information_schema.columns WHERE table_name = '", -- cgit v1.2.3