mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

remove stdout

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-05-05 14:42:50 -07:00
parent 82236d44c6
commit d20259b57a
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/ast/rewriter/poly_rewriter_def.h
View file

@ -980,10 +980,7 @@ bool poly_rewriter<Config>::hoist_ite(expr_ref& e) {
++i; ++i;
} }
if (!pinned.empty()) { if (!pinned.empty()) {
std::cout << "hoist: " << e << "\n";
e = mk_add_app(adds.size(), adds.c_ptr()); e = mk_add_app(adds.size(), adds.c_ptr());
std::cout << "hoisted: " << e << "\n";
return true; return true;
} }
return false; return false;