From 86af723db7ecf47fd17e83f5de1110bbb13f284f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 19 Mar 2022 09:40:29 -0700 Subject: [PATCH] remove left-over debug output Signed-off-by: Nikolaj Bjorner --- src/api/c++/z3++.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h index 1a2def0c8..b00a33ad7 100644 --- a/src/api/c++/z3++.h +++ b/src/api/c++/z3++.h @@ -3983,7 +3983,6 @@ namespace z3 { scoped_cb _cb(p, cb); expr value(p->ctx(), _value); expr var(p->ctx(), _var); - std::cout << "Fixed " << cb << "\n"; p->m_fixed_eh(var, value); } @@ -4151,7 +4150,6 @@ namespace z3 { assert(cb); expr conseq = ctx().bool_val(false); array _fixed(fixed); - std::cout << "conflict " << cb << " " << fixed << "\n"; Z3_solver_propagate_consequence(ctx(), cb, fixed.size(), _fixed.ptr(), 0, nullptr, nullptr, conseq); }