Index: src/ostreams.cc |
diff --git a/src/ostreams.cc b/src/ostreams.cc |
index d619264f148a73f85aff252f555c9e518d57a8e1..416da55e5918432f4584366161440db8112305e8 100644 |
--- a/src/ostreams.cc |
+++ b/src/ostreams.cc |
@@ -17,7 +17,10 @@ OFStreamBase::OFStreamBase(FILE* f) : f_(f) {} |
OFStreamBase::~OFStreamBase() {} |
-OFStreamBase::int_type OFStreamBase::sync() { return 0; } |
+OFStreamBase::int_type OFStreamBase::sync() { |
+ std::fflush(f_); |
+ return 0; |
+} |
OFStreamBase::int_type OFStreamBase::overflow(int_type c) { |