From 019737dcbd0145bb58690636b93b76b700d0a4a0 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Sun, 9 Mar 2025 20:31:43 -1000
Subject: [PATCH] fix printing
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
src/math/lp/dioph_eq.cpp | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp
index 42c6c7eef..39a33609e 100644
--- a/src/math/lp/dioph_eq.cpp
+++ b/src/math/lp/dioph_eq.cpp
@@ -249,8 +249,8 @@ namespace lp {
std::ostream& print_S(std::ostream& out) {
out << "S:\n";
- for (const auto& p : m_k2s.m_map) {
- print_entry(p.second, out, false, false, true);
+ for (unsigned ei = 0 ; ei < m_e_matrix.row_count(); ei++) {
+ print_entry(ei, out, false, false, true);
}
return out;
}
@@ -2539,7 +2539,7 @@ namespace lp {
if (!has_fresh) {
for (const auto& p : get_term_from_entry(i)) {
out << "\tlocal(x" << p.var() << ")";
- lra.print_column_info(local_to_lar_solver(p.var()), out) << "\n";
+ lra.print_column_info(local_to_lar_solver(p.var()), out);
}
}
}