From a33dac29d9cc8520f62b6e4f4f9138ea4e3fbcd4 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Fri, 21 Apr 2017 09:26:04 -0500
Subject: Handle subtypes in sets. Bug fixes for tuples with subtypes.

---
 test/regress/regress0/sets/complement2.cvc | 1 +
 1 file changed, 1 insertion(+)

(limited to 'test/regress/regress0/sets/complement2.cvc')

diff --git a/test/regress/regress0/sets/complement2.cvc b/test/regress/regress0/sets/complement2.cvc
index 22dde0338..b8100bf5f 100644
--- a/test/regress/regress0/sets/complement2.cvc
+++ b/test/regress/regress0/sets/complement2.cvc
@@ -1,4 +1,5 @@
 % EXPECT: unsat
+OPTION "sets-ext";
 OPTION "logic" "ALL_SUPPORTED";
 Atom: TYPE;
 a : SET OF Atom;
-- 
cgit v1.2.3