From 6cee4ae2257edac47e73072299596255dccca59f Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 6 Mar 2025 14:05:16 -1000
Subject: [PATCH] change a printout

---
 src/math/lp/dioph_eq.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp
index ee635064d..81b84fcf0 100644
--- a/src/math/lp/dioph_eq.cpp
+++ b/src/math/lp/dioph_eq.cpp
@@ -2649,7 +2649,7 @@ namespace lp {
                 }
             }
             if (print_column_info) {
-                bool has_fresh;
+                bool has_fresh = false;
                 for (const auto& p : m_e_matrix[i] ) {
                     if (var_is_fresh(p.var())) {
                         has_fresh = true;