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 (...) {