diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2016-05-30 17:33:12 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-05-30 17:33:12 -0400 |
| commit | a3e471e933945dcfb54873cb20c691a193b55671 (patch) | |
| tree | 70ba7ffe26a589f0b97aec7016c171261c54c9e2 /src/sqlite.sml | |
| parent | 5ca6148aaf7b930a8868d0543f1a307d40532243 (diff) | |
| parent | 359c1ca68f97181dada92e28440c7336fc88fff5 (diff) | |
Merge branch 'upstream' into dfsg_clean20160515+dfsg
Diffstat (limited to 'src/sqlite.sml')
| -rw-r--r-- | src/sqlite.sml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/sqlite.sml b/src/sqlite.sml index a1095709..c7694cde 100644 --- a/src/sqlite.sml +++ b/src/sqlite.sml @@ -849,6 +849,7 @@ val () = addDbms {name = "sqlite", falseString = "0", onlyUnion = false, nestedRelops = false, - windowFunctions = false} + windowFunctions = false, + supportsIsDistinctFrom = true} end |