From 49da529aff71b377ec8a9ebc98b0a94f81ee18e5 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Tue, 8 Dec 2015 17:29:24 -0500
Subject: Change Postgres schema-checking code to account properly for
 namespaces

---
 src/postgres.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/postgres.sml b/src/postgres.sml
index bc1238c0..1c95f414 100644
--- a/src/postgres.sml
+++ b/src/postgres.sml
@@ -278,7 +278,7 @@ fun init {dbstring, prepared = ss, tables, views, sequences} =
                                      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,
-- 
cgit v1.2.3