From 03ca330926a77f84a6c6976f304c58225b9d0431 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 30 Jan 2023 08:23:17 -0800
Subject: [PATCH] fix division filter

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

diff --git a/src/math/lp/nla_divisions.cpp b/src/math/lp/nla_divisions.cpp
index 06122ddc8..4f5bd4e81 100644
--- a/src/math/lp/nla_divisions.cpp
+++ b/src/math/lp/nla_divisions.cpp
@@ -23,7 +23,6 @@ namespace nla {
             return;
         if (lp::tv::is_term(x) || lp::tv::is_term(y) || lp::tv::is_term(q))
             return;
-        verbose_stream() << q << " " << x << " " << y << " " << null_lpvar << "\n";
         m_idivisions.push_back({q, x, y});
         m_core.trail().push(push_back_vector(m_idivisions));
     }