diff options
Diffstat (limited to 'test/regress/regress1/sets/issue4391-card-lasso.smt2')
-rw-r--r-- | test/regress/regress1/sets/issue4391-card-lasso.smt2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress1/sets/issue4391-card-lasso.smt2 b/test/regress/regress1/sets/issue4391-card-lasso.smt2 index f7a720436..76e27f5b0 100644 --- a/test/regress/regress1/sets/issue4391-card-lasso.smt2 +++ b/test/regress/regress1/sets/issue4391-card-lasso.smt2 @@ -11,6 +11,6 @@ (assert (= (set.card b) d)) (assert (= (set.card c) 0)) (assert (= 0 (mod 0 d))) -(assert (> (set.card (set.minus e (set.intersection (set.intersection e b) (set.minus e c)))) 1)) +(assert (> (set.card (set.minus e (set.inter (set.inter e b) (set.minus e c)))) 1)) (check-sat) |