From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Wed, 11 Jun 2014 23:11:56 +0000 (-0400)
Subject: Flush output stream after result printed in portfolio.
X-Git-Tag: cvc5-1.0.0~6829^2~4
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=13eac8f6d88071725d3b0e5fe73a29bca86bb9fb;p=cvc5.git

Flush output stream after result printed in portfolio.
---

diff --git a/src/main/command_executor_portfolio.cpp b/src/main/command_executor_portfolio.cpp
index fa1d8c7f5..1a5d2f8ac 100644
--- a/src/main/command_executor_portfolio.cpp
+++ b/src/main/command_executor_portfolio.cpp
@@ -337,7 +337,8 @@ bool CommandExecutorPortfolio::doCommandSingleton(Command* cmd)
       }
 
       *d_options[options::out]
-        << d_ostringstreams[portfolioReturn.first]->str();
+        << d_ostringstreams[portfolioReturn.first]->str()
+        << std::flush;
 
 #ifdef CVC4_COMPETITION_MODE
       // There's some hang-up in thread destruction?