From 8d747865aeb9ee757d19a5f90d0e517197c3d957 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Mon, 16 Dec 2024 12:36:52 -1000 Subject: [PATCH] cosmetics Signed-off-by: Lev Nachmanson --- src/math/lp/dioph_eq.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index 391cc418a..7b68a6cb8 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -301,7 +301,6 @@ namespace lp { } // the term has form sum(a_i*x_i) - t.j() = 0, - // i is the index of the term in the lra.m_terms void fill_entry(const lar_term& t) { TRACE("dioph_eq", print_lar_term_L(t, tout) << std::endl;); entry te = {lar_term(t.j()), mpq(0), entry_status::F}; @@ -323,9 +322,9 @@ namespace lp { m_e_matrix.add_new_element(entry_index, lj, p.coeff()); } } - if (is_fixed(t.j())) + if (is_fixed(t.j())) { e.m_c -= lia.lower_bound(t.j()).x; - else { + } else { unsigned lj = add_var(t.j()); while (lj >= m_e_matrix.column_count()) m_e_matrix.add_column();