aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/mysql.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-06-30 16:17:32 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-06-30 16:17:32 -0400
commit214f1f451fc04f7d8b5999a0f33a6794d47241f8 (patch)
treead73b7fad0e33fa4f2162ae67248ad68d8f90489 /src/mysql.sml
parentb5520935745c4415fe91ecca58276a4a3cf24790 (diff)
Validating views
Diffstat (limited to 'src/mysql.sml')
-rw-r--r--src/mysql.sml2
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