From 223f9fffedc24918bc3444f0c312924afe08ef67 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Wed, 25 Jan 2023 12:32:04 +0100
Subject: [PATCH] avoid unused variable warning

---
 src/math/polysat/solver.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/math/polysat/solver.cpp b/src/math/polysat/solver.cpp
index 8e9d46cba..58ca46b5b 100644
--- a/src/math/polysat/solver.cpp
+++ b/src/math/polysat/solver.cpp
@@ -1475,9 +1475,9 @@ namespace polysat {
                     LOG("    " << lit_pp(*this, lit));
                 }
             }
-            SASSERT(undefs != 1);
+            VERIFY(undefs != 1);
             bool const is_false = all_of(cl, [&](auto lit) { return m_bvars.is_false(lit); });
-            SASSERT(!is_false);
+            VERIFY(!is_false);
         }
         return true;
     }