diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-06-30 16:17:32 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-06-30 16:17:32 -0400 |
commit | 96295f93bcf9e5e46a49b252822fedb8a527886b (patch) | |
tree | ad73b7fad0e33fa4f2162ae67248ad68d8f90489 /src/mysql.sml | |
parent | 156487dbaf4139e9e4f1f119fa03adbbb46dea90 (diff) |
Validating views
Diffstat (limited to 'src/mysql.sml')
-rw-r--r-- | src/mysql.sml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |