Fix bug #12148

diff --git a/src/Paragraph.cpp b/src/Paragraph.cpp
index 22dcdb68ac8cb614ed59dc6e7b281f8438c84750..b7616ad68c1953710aaccbf4bb87a4a29ca43e41 100644 (file)
--- a/src/Paragraph.cpp
+++ b/src/Paragraph.cpp
@@ -2562,7 +2562,7 @@ void Paragraph::latex(BufferParams const & bparams,
                                                runparams);
                                runningChange = Change(Change::UNCHANGED);
 
-                               os << "}] ";
+                               os << (isEnvSeparator(i) ? "}]~" : "}] ");
                                column +=3;
                        }
                        // For InTitle commands, we have already opened a group