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;