The flush should be done on either branch.

(cherry picked from commit c2de96d2ed)
This commit is contained in:
Richard Heck 2014-06-29 15:40:17 -04:00
parent c5ca9b28bb
commit 594fb59fbe

View File

@ -1669,11 +1669,11 @@ void Paragraph::write(ostream & os, BufferParams const & bparams,
os << "\\begin_inset ";
inset->write(os);
os << "\n\\end_inset\n\n";
// FIXME This can be removed again once the mystery
// crash has been resolved.
os << flush;
column = 0;
}
// FIXME This can be removed again once the mystery
// crash has been resolved.
os << flush;
}
break;
case '\\':