mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
remove std::cout
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
739c90779b
commit
3bf8b17b96
|
@ -114,13 +114,9 @@ namespace smt {
|
|||
for (; it != end; ++it) {
|
||||
enode * store = *it;
|
||||
SASSERT(is_store(store));
|
||||
std::cout << mk_pp(store->get_owner(), get_manager()) << " " << mk_pp(s->get_owner(), get_manager()) << "\n";
|
||||
if (!m_params.m_array_cg || store->is_cgr()) {
|
||||
instantiate_axiom2b(s, store);
|
||||
}
|
||||
else {
|
||||
std::cout << mk_pp(store->get_owner(), get_manager()) << "\n";
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue