From 214f1f451fc04f7d8b5999a0f33a6794d47241f8 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 30 Jun 2009 16:17:32 -0400 Subject: Validating views --- src/mysql.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/mysql.sml') diff --git a/src/mysql.sml b/src/mysql.sml index 897b4a58..7b02c787 100644 --- a/src/mysql.sml +++ b/src/mysql.sml @@ -31,7 +31,7 @@ open Settings 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 -- cgit v1.2.3