From b1ff4bc24a73ec17f5a76a4d6cba488dbeb55e15 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 20 Jan 2022 19:21:19 +0100
Subject: [PATCH] no normalize

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

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