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;
     }