Mercurial > urweb
diff src/mysql.sml @ 872:9654bce27cff
Validating views
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 30 Jun 2009 16:17:32 -0400 |
parents | 7fa9a37a34b3 |
children | 41971801b62d |
line wrap: on
line diff
--- a/src/mysql.sml Tue Jun 30 15:59:41 2009 -0400 +++ b/src/mysql.sml Tue Jun 30 16:17:32 2009 -0400 @@ -31,7 +31,7 @@ open Print.PD open Print -fun init {dbstring, prepared = ss, tables, sequences} = +fun init {dbstring, prepared = ss, tables, views, sequences} = let val host = ref NONE val user = ref NONE