From d20259b57aea956e44e0fa4ed9f226e924aee5ef Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 5 May 2020 14:42:50 -0700
Subject: [PATCH] remove stdout

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/rewriter/poly_rewriter_def.h | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/ast/rewriter/poly_rewriter_def.h b/src/ast/rewriter/poly_rewriter_def.h
index 24b9aadb5..90339d2a8 100644
--- a/src/ast/rewriter/poly_rewriter_def.h
+++ b/src/ast/rewriter/poly_rewriter_def.h
@@ -980,10 +980,7 @@ bool poly_rewriter<Config>::hoist_ite(expr_ref& e) {
         ++i;
     }
     if (!pinned.empty()) {
-        std::cout << "hoist: " << e << "\n";
         e = mk_add_app(adds.size(), adds.c_ptr());
-        std::cout << "hoisted: " << e << "\n";
-
         return true;
     }
     return false;