1 files changed, 16 insertions, 16 deletions
diff --git a/test/regress/regress1/sets/fuzz14418.smt2 b/test/regress/regress1/sets/fuzz14418.smt2
index 9b65102a6..2fb60cb72 100644
--- a/test/regress/regress1/sets/fuzz14418.smt2
+++ b/test/regress/regress1/sets/fuzz14418.smt2
@@ -30,25 +30,25 @@
 (let ((e10 (f0 v0)))
 (let ((e11 (* (- e5) e10)))
 (let ((e12 (ite (p0 e7 e6) 1 0)))
-(let ((e13 (union v3 v4)))
-(let ((e14 (setminus v2 v2)))
+(let ((e13 (set.union v3 v4)))
+(let ((e14 (set.minus v2 v2)))
 (let ((e15 (f1 v1 v4 v1)))
 (let ((e16 (f1 e14 v1 v4)))
-(let ((e17 (intersection e16 e15)))
+(let ((e17 (set.intersection e16 e15)))
 (let ((e18 (f1 v4 e15 v2)))
-(let ((e19 (ite (p1 e13) (singleton 1) (singleton 0))))
-(let ((e20 (member v0 e17)))
-(let ((e21 (member e7 e16)))
-(let ((e22 (member e10 e16)))
-(let ((e23 (member e8 e17)))
-(let ((e24 (member e9 e14)))
-(let ((e25 (member e8 e16)))
-(let ((e26 (member v0 e13)))
-(let ((e27 (member e12 v4)))
-(let ((e28 (member e8 e14)))
-(let ((e29 (member e8 v1)))
-(let ((e30 (member e10 e13)))
-(let ((e31 (member e7 e13)))
+(let ((e19 (ite (p1 e13) (set.singleton 1) (set.singleton 0))))
+(let ((e20 (set.member v0 e17)))
+(let ((e21 (set.member e7 e16)))
+(let ((e22 (set.member e10 e16)))
+(let ((e23 (set.member e8 e17)))
+(let ((e24 (set.member e9 e14)))
+(let ((e25 (set.member e8 e16)))
+(let ((e26 (set.member v0 e13)))
+(let ((e27 (set.member e12 v4)))
+(let ((e28 (set.member e8 e14)))
+(let ((e29 (set.member e8 v1)))
+(let ((e30 (set.member e10 e13)))
+(let ((e31 (set.member e7 e13)))
 (let ((e32 (f1 e13 e13 e13)))
 (let ((e33 (f1 e18 v4 e17)))
 (let ((e34 (f1 v2 v2 e15)))