From ec1b14a2f08eb41d326c234547c4b8510b495b4e Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Wed, 8 Jan 2020 10:06:39 -0800
Subject: [PATCH] fix a bug in gt_on_powers_mul_same_degree()

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/math/lp/nex_creator.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/math/lp/nex_creator.cpp b/src/math/lp/nex_creator.cpp
index dfbb5232d..71f3e1b37 100644
--- a/src/math/lp/nex_creator.cpp
+++ b/src/math/lp/nex_creator.cpp
@@ -109,7 +109,6 @@ void nex_creator::simplify_children_of_mul(vector<nex_pow> & children, rational&
 template <typename T>
 bool nex_creator::gt_on_powers_mul_same_degree(const T& a, const nex_mul& b) const {
     bool ret = false;
-    std::cout << "'";
     unsigned a_pow = a.begin()->pow();
     unsigned b_pow = b.begin()->pow();
     for (auto it_a = a.begin(), it_b = b.begin(); it_a != a.end() && it_b != b.end(); ) {