From 594fb59fbece4d0c36de6e717fd9b80a79e8bc67 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. (cherry picked from commit c2de96d2edd98fd2de11876f6557ba1695693c87) --- src/Paragraph.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/Paragraph.cpp b/src/Paragraph.cpp index 2ac7dd01b7..fccc28f951 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 '\\':