1 files changed, 9 insertions, 9 deletions
diff --git a/test/regress/regress0/rels/rel_complex_1.cvc.smt2 b/test/regress/regress0/rels/rel_complex_1.cvc.smt2
index e8ccfb070..389260e17 100644
--- a/test/regress/regress0/rels/rel_complex_1.cvc.smt2
+++ b/test/regress/regress0/rels/rel_complex_1.cvc.smt2
@@ -11,17 +11,17 @@
 (declare-fun r2 () (Set (Tuple Int Int)))
 (declare-fun a () (Tuple Int Int))
 (assert (= a (tuple 3 1)))
-(assert (member a x))
+(assert (set.member a x))
 (declare-fun d () (Tuple Int Int))
 (assert (= d (tuple 1 3)))
-(assert (member d y))
+(assert (set.member d y))
 (declare-fun e () (Tuple Int Int))
 (assert (= e (tuple 4 3)))
-(assert (= r (join x y)))
-(assert (member (tuple 1) w))
-(assert (member (tuple 2) z))
-(assert (= r2 (product w z)))
-(assert (not (member e r)))
-(assert (subset r r2))
-(assert (not (member (tuple 3 3) r2)))
+(assert (= r (rel.join x y)))
+(assert (set.member (tuple 1) w))
+(assert (set.member (tuple 2) z))
+(assert (= r2 (rel.product w z)))
+(assert (not (set.member e r)))
+(assert (set.subset r r2))
+(assert (not (set.member (tuple 3 3) r2)))
 (check-sat)