diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-21 09:33:26 -0500 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-04-21 09:33:26 -0500 |
commit | ff78fc50f1617da77b185d62f4018b9312866801 (patch) | |
tree | 94b4feb4fbe5137a09f9cd4df50ae6dda6b40e58 /test/regress/regress0/rels/iden_1.cvc | |
parent | a33dac29d9cc8520f62b6e4f4f9138ea4e3fbcd4 (diff) |
Fix new relations regressions to use sets-ext.
Diffstat (limited to 'test/regress/regress0/rels/iden_1.cvc')
-rw-r--r-- | test/regress/regress0/rels/iden_1.cvc | 1 |
1 files changed, 1 insertions, 0 deletions
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]; |