From 273aff5ed6538706d4a8d4672fbaeacacf9bfaf4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 22 Jan 2023 22:21:23 -0800
Subject: [PATCH] remove debug out

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/tactic/arith/propagate_ineqs_tactic.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/tactic/arith/propagate_ineqs_tactic.cpp b/src/tactic/arith/propagate_ineqs_tactic.cpp
index 8c29e499d..56d07a5c2 100644
--- a/src/tactic/arith/propagate_ineqs_tactic.cpp
+++ b/src/tactic/arith/propagate_ineqs_tactic.cpp
@@ -251,7 +251,6 @@ struct propagate_ineqs_tactic::imp {
         a_var x = mk_linear_pol(lhs);
         mpq c_prime;
         nm.set(c_prime, c.to_mpq());
-        verbose_stream() << mk_ismt2_pp(t, m) << " bound " << c << "\n";
         if (k == EQ) {
             SASSERT(!strict);
             bp.assert_lower(x, c_prime, false);