The flush should be done on either branch.

(cherry picked from commit c2de96d2edd98fd2de11876f6557ba1695693c87)

diff --git a/src/Paragraph.cpp b/src/Paragraph.cpp
index 2ac7dd01b76752cce62567942a6bc3cce048a7f8..fccc28f95164666a004d23ec8ad5b64e11d3d9ed 100644 (file)
--- 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 '\\':