Ensure that expand definitions is called on all non-variable expressi… (#1070)

[cvc5.git] / test / regress / regress0 / rels / joinImg_2_1.cvc

diff --git a/test/regress/regress0/rels/joinImg_2_1.cvc b/test/regress/regress0/rels/joinImg_2_1.cvc
index b38bfab067957503515ad9ad6ce5807aa237204e..03f88be37c35b5fa5b5f0dfe48243c00c579ad59 100644 (file)
--- a/test/regress/regress0/rels/joinImg_2_1.cvc
+++ b/test/regress/regress0/rels/joinImg_2_1.cvc
@@ -1,5 +1,6 @@
 % EXPECT: sat
 OPTION "logic" "ALL_SUPPORTED";
+OPTION "sets-ext";
 Atom: TYPE;
 x : SET OF [Atom, Atom];
 y : SET OF [Atom, Atom];
@@ -21,4 +22,4 @@ ASSERT y = {(f, g), (b, c), (d, e), (c, e)};
 ASSERT x = {(f, g), (b, c), (d, e), (c, e)};
 ASSERT (NOT(a = b)) OR (NOT(a = f));
 
-CHECKSAT;
\ No newline at end of file
+CHECKSAT;