From 96295f93bcf9e5e46a49b252822fedb8a527886b Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 30 Jun 2009 16:17:32 -0400
Subject: Validating views

---
 src/settings.sig | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/settings.sig')

diff --git a/src/settings.sig b/src/settings.sig
index 0ed2924b..5406d1de 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -128,6 +128,7 @@ signature SETTINGS = sig
          init : {dbstring : string,
                  prepared : (string * int) list,
                  tables : (string * (string * sql_type) list) list,
+                 views : (string * (string * sql_type) list) list,
                  sequences : string list} -> Print.PD.pp_desc,
          (* Define uw_db_init(), uw_db_close(), uw_db_begin(), uw_db_commit(), and uw_db_rollback() *)
          query : {loc : ErrorMsg.span, numCols : int,
-- 
cgit v1.2.3