# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1449613764 18000
# Node ID 251dd276f45ff2fad429145ddfeb7baa4b7afc63
# Parent  cf2abef213d86df63b5d3aa3cbcda5f96ee0726f
Change Postgres schema-checking code to account properly for namespaces

diff -r cf2abef213d8 -r 251dd276f45f src/postgres.sml
--- a/src/postgres.sml	Sat Dec 05 12:12:40 2015 -0500
+++ b/src/postgres.sml	Tue Dec 08 17:29:24 2015 -0500
@@ -278,7 +278,7 @@
                                      val sl = CharVector.map Char.toLower s
 
                                      val q = "SELECT COUNT(*) FROM pg_class WHERE relname = '"
-                                             ^ sl ^ "' AND relkind = 'S'"
+                                             ^ sl ^ "' AND relkind = 'S' AND pg_catalog.pg_table_is_visible(oid)"
                                  in
                                      box [string "res = PQexec(conn, \"",
                                           string q,