diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index 8c8d7040d..d2634106a 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -2951,7 +2951,7 @@ namespace smt {
        \brief Execute some finalization code after performing the search.
     */
     void context::check_finalize(lbool r) {
-        TRACE("after_search", display(tout););
+        TRACE("after_search", display(tout << "result: " << r << "\n"););
         display_profile(verbose_stream());
     }