From 6ddce9d5befa1be4d0e0154163b1defc2ed5e0aa Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 8 Oct 2019 11:46:26 -0700
Subject: [PATCH] adding SMT2 log file for solver interaction #867

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/api_solver.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/api/api_solver.cpp b/src/api/api_solver.cpp
index 761ab308b..b526b32ed 100644
--- a/src/api/api_solver.cpp
+++ b/src/api/api_solver.cpp
@@ -72,6 +72,7 @@ extern "C" {
             m_pp_util.display_expr(m_out, asms[i]);            
         }
         m_out << ")\n";
+        m_out.flush();
     }
 
     solver2smt2_pp::solver2smt2_pp(ast_manager& m, char const* file): m_pp_util(m), m_out(file) {