Mercurial > urweb
diff src/settings.sig @ 1196:134da5110bf7
Relational operators portability
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 01 Apr 2010 17:21:16 -0400 |
parents | 9d3ccb8b39ac |
children | acabf3935060 |
line wrap: on
line diff
--- a/src/settings.sig Sun Mar 28 10:10:35 2010 -0400 +++ b/src/settings.sig Thu Apr 01 17:21:16 2010 -0400 @@ -167,7 +167,9 @@ sqlPrefix : string, supportsOctetLength : bool, trueString : string, - falseString : string + falseString : string, + onlyUnion : bool, + nestedRelops : bool } val addDbms : dbms -> unit