From 49703f8bba0e73fbd2aa6b180f8afdaeadd4d7a4 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 31 Aug 2025 17:41:42 -0700
Subject: [PATCH] remove debug out

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

diff --git a/src/math/lp/nla_grobner.cpp b/src/math/lp/nla_grobner.cpp
index 498f71e02..384d4a3c3 100644
--- a/src/math/lp/nla_grobner.cpp
+++ b/src/math/lp/nla_grobner.cpp
@@ -81,7 +81,6 @@ namespace nla {
 
             if (propagate_quotients())
                 return;
-            IF_VERBOSE(0, m_solver.display(verbose_stream() << "grobner\n"));
             
         }
         catch (...) {