diff options
Diffstat (limited to 'test/regress/regress1/sym/sym5.smt2')
-rw-r--r-- | test/regress/regress1/sym/sym5.smt2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress1/sym/sym5.smt2 b/test/regress/regress1/sym/sym5.smt2 index cf9cbe092..16b44d115 100644 --- a/test/regress/regress1/sym/sym5.smt2 +++ b/test/regress/regress1/sym/sym5.smt2 @@ -13,6 +13,6 @@ (assert (set.subset A (set.insert g h i (set.singleton f)))) (assert (= C (set.minus A B) )) (assert (set.subset B A)) -(assert (= C (set.intersection A B))) +(assert (= C (set.inter A B))) (assert (set.member j C)) (check-sat) |