From eb715ea49f6d74f5ac7b7f2967f4a86c4db0a75f Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 12 Mar 2016 20:44:00 -0500
Subject: Use IS NOT DISTINCT FROM; improve Sql parser

---
 src/settings.sig | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/settings.sig')

diff --git a/src/settings.sig b/src/settings.sig
index c75f12a3..5b54ed44 100644
--- a/src/settings.sig
+++ b/src/settings.sig
@@ -213,7 +213,8 @@ signature SETTINGS = sig
          falseString : string,
          onlyUnion : bool,
          nestedRelops : bool,
-         windowFunctions : bool
+         windowFunctions : bool,
+         supportsIsDistinctFrom : bool
     }
 
     val addDbms : dbms -> unit
-- 
cgit v1.2.3