aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/settings.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-10-22 17:36:30 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-10-22 17:36:30 -0400
commite2ffafb9cfaf0bb921bc9bca491214cb464a38d7 (patch)
tree4b2eee33b6c42ab787f16df7b8bfc48e6f910b5a /src/settings.sig
parentfc3b6857ae9d41f0fa64dc53e135be6d27d85c76 (diff)
Chars working with SQLite
Diffstat (limited to 'src/settings.sig')
-rw-r--r--src/settings.sig4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/settings.sig b/src/settings.sig
index f07477e5..a207b207 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -157,7 +157,9 @@ signature SETTINGS = sig
supportsNextval : bool,
supportsNestedPrepared : bool,
sqlPrefix : string,
- supportsOctetLength : bool
+ supportsOctetLength : bool,
+ trueString : string,
+ falseString : string
}
val addDbms : dbms -> unit