From f5016b443374b45d05e4fb89c9f0d446c95eaeee Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Thu, 7 Aug 2025 07:14:14 -0700
Subject: [PATCH] remove a printout

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/smt/theory_lra.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/theory_lra.cpp b/src/smt/theory_lra.cpp
index 10b6888c9..f3d9a5169 100644
--- a/src/smt/theory_lra.cpp
+++ b/src/smt/theory_lra.cpp
@@ -1017,7 +1017,6 @@ public:
 
     void apply_sort_cnstr(enode* n, sort*) {
         TRACE(arith, tout << "sort constraint: " << pp(n) << "\n";);
-        std::cout << "sort constraint: " << pp(n) << " " << __FILE__ << ":" << __LINE__ << "\n";
 #if 0
         if (!th.is_attached_to_var(n)) 
             mk_var(n->get_owner());