From b69ad786f28fe222ff8f0cb4e8814b428624805d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 8 Dec 2021 09:04:13 -0800
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/math/lp/lp_bound_propagator.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/lp/lp_bound_propagator.h b/src/math/lp/lp_bound_propagator.h
index 45d9f0296..14f646fc1 100644
--- a/src/math/lp/lp_bound_propagator.h
+++ b/src/math/lp/lp_bound_propagator.h
@@ -148,7 +148,6 @@ class lp_bound_propagator {
         if (v1 == v2)
             return;
 
-        TRACE("eq", tout << v1 << " = " << v2 << "\n");
         explanation ex;
         explain_fixed_in_row(r1, ex);
         explain_fixed_in_row(r2, ex);