remove stdout

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · May 5, 2020 · d20259b · d20259b
1 parent 82236d4
commit d20259b
Showing 1 changed file with 0 additions and 3 deletions.
diff --git 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;