diff options
| -rw-r--r-- | src/main/command_executor_portfolio.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
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? |