mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 17:14:07 +00:00
remove print
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
b76dee7a7a
commit
0a8b924481
|
@ -3318,7 +3318,6 @@ namespace smt {
|
|||
\brief Execute some finalization code after performing the search.
|
||||
*/
|
||||
lbool context::check_finalize(lbool r) {
|
||||
if (r == l_undef) std::cout << m_unknown << "\n";
|
||||
TRACE("after_search", display(tout << "result: " << r << "\n"););
|
||||
display_profile(verbose_stream());
|
||||
if (r == l_true && get_cancel_flag()) {
|
||||
|
|
Loading…
Reference in a new issue