adjust printing

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
Z3Prover · Mar 1, 2025 · 3224c19 · 3224c19
1 parent 7cfecaa
commit 3224c19
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/math/lp/lp_core_solver_base.h b/src/math/lp/lp_core_solver_base.h
@@ -436,7 +436,7 @@ class lp_core_solver_base {
         return out;
     }
 
-    std::ostream& print_column_info(unsigned j, std::ostream & out) const {
+    std::ostream& print_column_info(unsigned j, std::ostream & out, const std::string& var_prefix = "x") const {
         if (j >= m_lower_bounds.size()) {
             out << "[" << j << "] is not present\n";
             return out;
@@ -445,7 +445,7 @@ class lp_core_solver_base {
         std::stringstream strm;
         strm << m_x[j];
         std::string j_val = strm.str();
-        out << "[" << j << "] " << std::setw(6) << " := " << j_val;
+        out << var_prefix << j << " = " << std::setw(6) << j_val;
         if (m_basis_heading[j] >= 0)
             out << " base ";
         else