Fix bug reported by Kornel.

The old code was actually wrong. Obviously, this should be set only
if we actually do issue the title command.

diff --git a/src/output_latex.cpp b/src/output_latex.cpp
index 04d1e1789f04201c006a3ecaa541b1a1d3e2e6e6..d495c634398c563ba80ee9f4b9ec6773312cb6da 100644 (file)
--- a/src/output_latex.cpp
+++ b/src/output_latex.cpp
@@ -1616,11 +1616,11 @@ void latexParagraphs(Buffer const & buf,
                                                          ), layout.name()));
                                }
                        } else if (!runparams.issued_title_cmd) {
-                               runparams.issued_title_cmd = true;
                                if (tclass.titletype() == TITLE_ENVIRONMENT) {
                                        os << "\\begin{"
                                                        << from_ascii(tclass.titlename())
                                                        << "}\n";
+                                       runparams.issued_title_cmd = true;
                                }
                        }
                } else if (runparams.issued_title_cmd &&