From c2de96d2edd98fd2de11876f6557ba1695693c87 Mon Sep 17 00:00:00 2001 From: Richard Heck Date: Sun, 29 Jun 2014 15:40:17 -0400 Subject: [PATCH] The flush should be done on either branch. --- src/Paragraph.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Paragraph.cpp b/src/Paragraph.cpp index dcfadc8c28..599f720fc0 100644 --- a/src/Paragraph.cpp +++ b/src/Paragraph.cpp @@ -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 '\\':