diff --git a/src/math/polynomial/polynomial.cpp b/src/math/polynomial/polynomial.cpp
index 05ef4ed60..2638e781d 100644
--- a/src/math/polynomial/polynomial.cpp
+++ b/src/math/polynomial/polynomial.cpp
@@ -989,7 +989,6 @@ namespace polynomial {
                   tout << "\n";);
             monomial * r = mk_monomial(product_tmp);
             TRACE(monomial_mul_bug,
-                  tout << "j: " << j << "\n";
                   tout << "r: "; r->display(tout); tout << "\n";
                   tout << "pws1: "; for (unsigned i = 0; i < sz1; i++) tout << pws1[i] << " "; tout << "\n";
                   tout << "pws2: "; for (unsigned i = 0; i < sz2; i++) tout << pws2[i] << " "; tout << "\n";