From ff78fc50f1617da77b185d62f4018b9312866801 Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Fri, 21 Apr 2017 09:33:26 -0500
Subject: [PATCH] Fix new relations regressions to use sets-ext.

---
 test/regress/regress0/rels/iden_1.cvc      | 1 +
 test/regress/regress0/rels/iden_1_1.cvc    | 1 +
 test/regress/regress0/rels/joinImg_0_2.cvc | 1 +
 3 files changed, 3 insertions(+)

diff --git a/test/regress/regress0/rels/iden_1.cvc b/test/regress/regress0/rels/iden_1.cvc
index f73700e88..4f0581706 100644
--- a/test/regress/regress0/rels/iden_1.cvc
+++ b/test/regress/regress0/rels/iden_1.cvc
@@ -1,4 +1,5 @@
 % EXPECT: unsat
+OPTION "sets-ext";
 OPTION "logic" "ALL_SUPPORTED";
 Atom:TYPE;
 AtomPair: TYPE = [Atom, Atom];
diff --git a/test/regress/regress0/rels/iden_1_1.cvc b/test/regress/regress0/rels/iden_1_1.cvc
index d118f15dd..985a35a89 100644
--- a/test/regress/regress0/rels/iden_1_1.cvc
+++ b/test/regress/regress0/rels/iden_1_1.cvc
@@ -1,4 +1,5 @@
 % EXPECT: sat
+OPTION "sets-ext";
 OPTION "logic" "ALL_SUPPORTED";
 Atom:TYPE;
 AtomPair: TYPE = [Atom, Atom];
diff --git a/test/regress/regress0/rels/joinImg_0_2.cvc b/test/regress/regress0/rels/joinImg_0_2.cvc
index f71069217..e15920804 100644
--- a/test/regress/regress0/rels/joinImg_0_2.cvc
+++ b/test/regress/regress0/rels/joinImg_0_2.cvc
@@ -1,4 +1,5 @@
 % EXPECT: sat
+OPTION "sets-ext";
 OPTION "logic" "ALL_SUPPORTED";
 IntPair: TYPE = [INT, INT];
 x : SET OF IntPair;
-- 
2.30.2