From 5a901e31fdaa3d35a9696404bc1ccff8f21d5fd9 Mon Sep 17 00:00:00 2001
From: Jakob Rath <git@jakobrath.eu>
Date: Thu, 2 Mar 2023 16:03:55 +0100
Subject: [PATCH] verify

---
 src/math/polysat/conflict.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/polysat/conflict.cpp b/src/math/polysat/conflict.cpp
index 7038f5196..49b381e68 100644
--- a/src/math/polysat/conflict.cpp
+++ b/src/math/polysat/conflict.cpp
@@ -222,7 +222,7 @@ namespace polysat {
         m_level = s.m_level;
         for (auto lit : cl) {
             auto c = s.lit2cnstr(lit);
-            SASSERT_EQ(c.bvalue(s), l_false);
+            VERIFY_EQ(c.bvalue(s), l_false);
             insert(~c);
         }