# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1389815666 18000
# Node ID 4ef0c6605b3ab79baf2777813be2414470e396ae
# Parent  ef9fdbb05c737039b4f76fcc82781c3294c4210a
Postgres: look up table names case-sensitively in catalog

diff -r ef9fdbb05c73 -r 4ef0c6605b3a src/postgres.sml
--- a/src/postgres.sml	Tue Jan 14 19:22:53 2014 -0500
+++ b/src/postgres.sml	Wed Jan 15 14:54:26 2014 -0500
@@ -68,7 +68,7 @@
                  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 = '",