From 424c00633b76dfbb599cb098b6ecee755a39bd2e Mon Sep 17 00:00:00 2001
From: Ahmed <43099566+ahmed-irfan@users.noreply.github.com>
Date: Thu, 30 Nov 2023 13:07:49 -0800
Subject: [PATCH] update test

---
 tests/regress/mcsat/nia/nira_00.smt2 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/regress/mcsat/nia/nira_00.smt2 b/tests/regress/mcsat/nia/nira_00.smt2
index a6cc46bed..23b0936d6 100644
--- a/tests/regress/mcsat/nia/nira_00.smt2
+++ b/tests/regress/mcsat/nia/nira_00.smt2
@@ -17,7 +17,7 @@
 (assert (< (+ (- 7) pure_y) 0))
 
 (assert (= pure_xy 7))
-(assert (= pure_xy (* x y)))
+(assert (= (+ pure_xy (* x (- y))) 0))
 
 (check-sat)
 (exit)