From 8792a4b892de36b894b44c61e6a991efd9fbe2dc Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 17 Jul 2009 17:03:37 -0400 Subject: Most of demo working with SQLite --- src/settings.sml | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/settings.sml') diff --git a/src/settings.sml b/src/settings.sml index d1901483..08a44471 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -340,6 +340,7 @@ type dbms = { p_cast : string * sql_type -> string, p_blank : int * sql_type -> string, supportsDeleteAs : bool, + supportsUpdateAs : bool, createSequence : string -> string, textKeysNeedLengths : bool, supportsNextval : bool, @@ -363,6 +364,7 @@ val curDb = ref ({name = "", p_cast = fn _ => "", p_blank = fn _ => "", supportsDeleteAs = false, + supportsUpdateAs = false, createSequence = fn _ => "", textKeysNeedLengths = false, supportsNextval = false, -- cgit v1.2.3