diff --git a/src/math/polynomial/algebraic_numbers.cpp b/src/math/polynomial/algebraic_numbers.cpp
index 26fae0615..5244de82c 100644
--- a/src/math/polynomial/algebraic_numbers.cpp
+++ b/src/math/polynomial/algebraic_numbers.cpp
@@ -722,7 +722,6 @@ namespace algebraic_numbers {
            \brief Make sure that if a is 0, then a.m_cell == 0
         */
         void normalize(numeral & a) {
-            std::cout << "normalize\n";
             if (is_zero(a))
                 return;
             if (a.is_basic()) {