From 28556ce6253cd23557862b7f39efb5bedd380b53 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Tue, 24 Dec 2024 06:32:25 -1000 Subject: [PATCH] cleanup Signed-off-by: Lev Nachmanson --- src/math/lp/dioph_eq.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index 3e18a75a4..d0f174673 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -952,7 +952,6 @@ namespace lp { TRACE("dio_br", tout << "fixed j:" << j <<", was substited by "; print_entry(m_k2s[j], tout);); if (check_fixing(j) == lia_move::conflict) { - auto& ep = m_entries[m_k2s[j]]; for (auto ci : lra.flatten(explain_fixed_in_meta_term(m_l_matrix.m_rows[m_k2s[j]]))) { m_explanation_of_branches.push_back(ci); } @@ -1496,7 +1495,6 @@ namespace lp { SASSERT(ex.empty()); TRACE("dioph_eq", tout << "conflict:"; print_entry(m_conflict_index, tout, true) << std::endl;); - auto& ep = m_entries[m_conflict_index]; for (auto ci : lra.flatten(explain_fixed_in_meta_term(m_l_matrix.m_rows[m_conflict_index]))) { ex.push_back(ci); }