From af80bd18ce10daad8c2ae6715629b657a10ca9ae Mon Sep 17 00:00:00 2001
From: Andrea Lattuada <andrea@lattuada.me>
Date: Thu, 14 Jul 2022 13:43:57 -0700
Subject: [PATCH] Flush the trace stream before displaying sat results (#6162)

---
 src/cmd_context/cmd_context.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/cmd_context/cmd_context.cpp b/src/cmd_context/cmd_context.cpp
index baaf483cd..32dd6aee5 100644
--- a/src/cmd_context/cmd_context.cpp
+++ b/src/cmd_context/cmd_context.cpp
@@ -1827,6 +1827,10 @@ void cmd_context::add_declared_functions(model& mdl) {
 }
 
 void cmd_context::display_sat_result(lbool r) {
+    if (has_manager() && m().has_trace_stream()) {
+        m().trace_stream().flush();
+    }
+
     switch (r) {
     case l_true:
         regular_stream() << "sat" << std::endl;