From 0a8b924481f5b6c5f4239c9d45bf3acb86e45d0e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 7 Nov 2019 10:17:35 +0100
Subject: [PATCH] remove print

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_context.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index bdd847598..d47e8dde3 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -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()) {