From c3668701e4be729fc5e195788741f69927c460f1 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Wed, 5 Mar 2025 10:58:39 -0800
Subject: [PATCH] debug tighten_bounds

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 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 e621e2bc1..2d1bef77a 100644
--- a/src/math/lp/dioph_eq.cpp
+++ b/src/math/lp/dioph_eq.cpp
@@ -2634,7 +2634,7 @@ namespace lp {
                 for (const auto& p : m_e_matrix[i] ) {
                     if (var_is_fresh(p.var())) {
                         has_fresh = true;
-                        tout << "has fresh var:" << p.var() << "\n";
+                        out << "has fresh var:" << p.var() << "\n";
                         break;
                     }
                 }