The flush should be done on either branch.

diff --git a/src/Paragraph.cpp b/src/Paragraph.cpp
index dcfadc8c2834629b89d545d89eca6adaa6b87b68..599f720fc05be00e956caa89cbac684d2f9162eb 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 '\\':