From 552a504f72e4c3de9fa6402a458bcef95fd8359f Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Mon, 7 Oct 2024 13:55:18 -0700 Subject: [PATCH] remove a warning Signed-off-by: Lev Nachmanson --- src/math/lp/dioph_eq.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index 593670d6b..e27aa824b 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -261,7 +261,7 @@ namespace lp { if (lra.settings().stats().m_dio_conflicts % lra.settings().dio_cut_from_proof_period() == 0) { bool has_fresh = false; for (const auto& p : ep.m_e) - if (has_fresh = is_fresh_var(p.j())) + if ((has_fresh = is_fresh_var(p.j()))) break; if (!has_fresh) { // consider remove all fresh variables in a copy of m_e and report the conflict // prepare int_solver for reporting