diff options
Diffstat (limited to 'test/regress/regress0/sets/sets-sample.smt2')
-rw-r--r-- | test/regress/regress0/sets/sets-sample.smt2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/sets/sets-sample.smt2 b/test/regress/regress0/sets/sets-sample.smt2 index 4838c6cf2..a040b0bec 100644 --- a/test/regress/regress0/sets/sets-sample.smt2 +++ b/test/regress/regress0/sets/sets-sample.smt2 @@ -16,7 +16,7 @@ (assert (= c (union a b) )) (assert (not (= c (intersection a b) ))) (assert (= c (setminus a b) )) -(assert (subseteq a b)) +(assert (subset a b)) (assert (member e c)) (assert (member e a)) (assert (member e (intersection a b))) |