From 32c3a3e3cc1c338048bae058bf9a86a586f85b04 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 20 Sep 2021 16:11:05 -0700 Subject: [PATCH] remove cond-log use Signed-off-by: Nikolaj Bjorner --- src/math/polysat/solver.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/polysat/solver.cpp b/src/math/polysat/solver.cpp index 8c19dafe4..1559ecd13 100644 --- a/src/math/polysat/solver.cpp +++ b/src/math/polysat/solver.cpp @@ -63,7 +63,7 @@ namespace polysat { LOG_H1("Next solving loop iteration (#" << m_stats.m_num_iterations << ")"); LOG("Free variables: " << m_free_pvars); LOG("Assignment: " << assignments_pp(*this)); - COND_LOG(is_conflict(), "Conflict: " << m_conflict); + if (is_conflict()) LOG("Conflict: " << m_conflict); IF_LOGGING(m_viable.log()); if (!is_conflict() && m_constraints.should_gc()) m_constraints.gc(*this); else if (is_conflict() && at_base_level()) { LOG_H2("UNSAT"); return l_false; }