mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
remove platform dependent print
This commit is contained in:
parent
4f4cafbc98
commit
554191885e
|
@ -240,7 +240,7 @@ namespace smt {
|
|||
vector<std::tuple<enode *, enode *>> & used_enodes) {
|
||||
|
||||
if (pat == nullptr) {
|
||||
trace_stream() << "[inst-discovered] MBQI " << static_cast<void*>(f) << " #" << q->get_id();
|
||||
trace_stream() << "[inst-discovered] MBQI " << " #" << q->get_id();
|
||||
for (unsigned i = 0; i < num_bindings; ++i) {
|
||||
trace_stream() << " #" << bindings[num_bindings - i - 1]->get_owner_id();
|
||||
}
|
||||
|
|
|
@ -211,7 +211,7 @@ namespace smt {
|
|||
symbol const & family_name = m.get_family_name(get_family_id());
|
||||
|
||||
if (pattern_id == UINT_MAX) {
|
||||
out << "[inst-discovered] theory-solving " << static_cast<void *>(nullptr) << " " << family_name << "#";
|
||||
out << "[inst-discovered] theory-solving " << " " << family_name << "#";
|
||||
if (axiom_id != UINT_MAX)
|
||||
out << axiom_id;
|
||||
for (unsigned i = 0; i < num_bindings; ++i) {
|
||||
|
|
Loading…
Reference in a new issue