From 16452fec43cd87c851e4d60600e3b8e4534e3c56 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 6 Jun 2025 11:34:28 +0200
Subject: [PATCH] pretty printing for lp

---
 src/math/lp/column_namer.h | 2 +-
 src/math/lp/lp_utils.h     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/math/lp/column_namer.h b/src/math/lp/column_namer.h
index cef58ed21..7855300a8 100644
--- a/src/math/lp/column_namer.h
+++ b/src/math/lp/column_namer.h
@@ -53,7 +53,7 @@ public:
             if (val == -numeric_traits<T>::one())
                 out << " - ";
             else if (val != numeric_traits<T>::one())
-                out << val;
+                out << val << "*";
         
             out << get_variable_name(it.second);
         }
diff --git a/src/math/lp/lp_utils.h b/src/math/lp/lp_utils.h
index 7e166f99e..f0657763c 100644
--- a/src/math/lp/lp_utils.h
+++ b/src/math/lp/lp_utils.h
@@ -118,7 +118,7 @@ std::ostream& print_linear_combination_customized(const vector<std::pair<T, unsi
             }
         }
         if (val != 1) {
-            out << T_to_string(val);
+            out << T_to_string(val) << "*";
         }
         out << var_str(it.second);
     }