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