diff options
Diffstat (limited to 'test/regress/regress0/sets/jan28/TalkingAboutSets.hs.fqout.3577minimized.smt2')
| -rw-r--r-- | test/regress/regress0/sets/jan28/TalkingAboutSets.hs.fqout.3577minimized.smt2 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/regress/regress0/sets/jan28/TalkingAboutSets.hs.fqout.3577minimized.smt2 b/test/regress/regress0/sets/jan28/TalkingAboutSets.hs.fqout.3577minimized.smt2 index b20fb4f3d..882c67091 100644 --- a/test/regress/regress0/sets/jan28/TalkingAboutSets.hs.fqout.3577minimized.smt2 +++ b/test/regress/regress0/sets/jan28/TalkingAboutSets.hs.fqout.3577minimized.smt2 @@ -22,12 +22,12 @@ (declare-fun T () mySet) (assert (= (f x) - (union S T))) + (set.union S T))) (assert (= (f x) - (union T (f y)))) + (set.union T (f y)))) (assert (not (= (f y) - (union T (f y))))) + (set.union T (f y))))) (check-sat) |