1 files changed, 8 insertions, 8 deletions
diff --git a/test/regress/regress0/sets/sets-sample.smt2 b/test/regress/regress0/sets/sets-sample.smt2
index 1bd0eb396..4838c6cf2 100644
--- a/test/regress/regress0/sets/sets-sample.smt2
+++ b/test/regress/regress0/sets/sets-sample.smt2
@@ -12,14 +12,14 @@
 (declare-fun b () (Set Int))
 (declare-fun c () (Set Int))
 (declare-fun e () Int)
-(assert (= a (setenum 5)))
+(assert (= a (singleton 5)))
 (assert (= c (union a b) ))
 (assert (not (= c (intersection a b) )))
 (assert (= c (setminus a b) ))
 (assert (subseteq a b))
-(assert (in e c))
-(assert (in e a))
-(assert (in e (intersection a b)))
+(assert (member e c))
+(assert (member e a))
+(assert (member e (intersection a b)))
 (check-sat)
 (pop 1)
 
@@ -41,8 +41,8 @@
 (declare-fun e2 () Int)
 (assert (= x y))
 (assert (= e1 e2))
-(assert (in e1 x))
-(assert (not (in e2 y)))
+(assert (member e1 x))
+(assert (not (member e2 y)))
 (check-sat)
 (pop 1)
 
@@ -55,8 +55,8 @@
 (declare-fun e2 () Int)
 (assert (= x y))
 (assert (= e1 e2))
-(assert (in e1 (union x z)))
-(assert (not (in e2 (union y z))))
+(assert (member e1 (union x z)))
+(assert (not (member e2 (union y z))))
 (check-sat)
 (pop 1)