diff options
Diffstat (limited to 'examples/api/smtlib/sets.smt2')
| -rw-r--r-- | examples/api/smtlib/sets.smt2 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/examples/api/smtlib/sets.smt2 b/examples/api/smtlib/sets.smt2 index f8b30ae47..59d3cdc4f 100644 --- a/examples/api/smtlib/sets.smt2 +++ b/examples/api/smtlib/sets.smt2 @@ -10,8 +10,8 @@ (check-sat-assuming ( (distinct - (set.intersection (set.union A B) C) - (set.union (set.intersection A C) (set.intersection B C))) + (set.inter (set.union A B) C) + (set.union (set.inter A C) (set.inter B C))) ) ) @@ -27,7 +27,7 @@ ( (set.member x - (set.intersection + (set.inter (set.union (set.singleton 1) (set.singleton 2)) (set.union (set.singleton 2) (set.singleton 3)))) ) |