| 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) {
|
|
|