From e7894873c8a734139daa4fa0a6f3e683c7c91011 Mon Sep 17 00:00:00 2001 From: Jakob Rath Date: Wed, 8 Sep 2021 14:08:45 +0200 Subject: [PATCH] fix --- src/math/polysat/conflict_core.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/polysat/conflict_core.cpp b/src/math/polysat/conflict_core.cpp index 469d2f14d..bbaa9822f 100644 --- a/src/math/polysat/conflict_core.cpp +++ b/src/math/polysat/conflict_core.cpp @@ -95,7 +95,7 @@ namespace polysat { void conflict_core::remove_var(pvar v) { unsigned j = 0; for (unsigned i = 0; i < m_constraints.size(); ++i) - if (m_constraints[i]->contains_var(v)) + if (!m_constraints[i]->contains_var(v)) m_constraints[j++] = m_constraints[i]; m_constraints.shrink(j); }