# | Line 183 | Line 183 | void DumpWriter::writeFrame(std::ostream& os) { | |
---|---|---|
183 | } | |
184 | } | |
185 | ||
186 | + | os.flush(); |
187 | #else // is_mpi | |
188 | /********************************************************************* | |
189 | * Documentation? You want DOCUMENTATION? |
– | Removed lines |
+ | Added lines |
< | Changed lines |
> | Changed lines |