mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
remove std-out
Signed-off-by: Nikolaj Bjorner <nbjorner@hotmail.com>
This commit is contained in:
parent
2d409c6042
commit
6f42cbd325
|
@ -194,7 +194,6 @@ void rule_properties::operator()(app* n) {
|
|||
}
|
||||
}
|
||||
else {
|
||||
std::cout << mk_pp(n, m) << "\n";
|
||||
}
|
||||
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue