From 76b82318b81cfc0c5e10d08935e5744d10fa3313 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 7 Mar 2025 12:57:30 -1000 Subject: [PATCH] cosmetics Signed-off-by: Lev Nachmanson --- src/math/lp/dioph_eq.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index caa335e53..f50ee5964 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -2551,14 +2551,14 @@ namespace lp { return print_lar_term_L(opened_ml, out); } - // collect only fixed variables + // collect only fixed variables in a term template term_with_index open_fixed_from_ml(const T& ml) const { term_with_index r; for (const auto& v : ml) { for (const auto & p : lra.get_term(v.var()).ext_coeffs()) { if (lra.column_is_fixed(p.var())) - r.add(v.coeff()*p.coeff(), p.var()); + r.add(v.coeff() * p.coeff(), p.var()); } } return r;