Add comment fixing coverity #23351.

[features.git] / src / frontends / qt4 / GuiWorkArea.cpp

diff --git a/src/frontends/qt4/GuiWorkArea.cpp b/src/frontends/qt4/GuiWorkArea.cpp
index a18294e5af2aa9b3d87e193d64bbfdf51fc1e715..4f63d16cc0f9fb61ea8175c8082cc314e8e8781f 100644 (file)
--- a/src/frontends/qt4/GuiWorkArea.cpp
+++ b/src/frontends/qt4/GuiWorkArea.cpp
@@ -1981,6 +1981,8 @@ void TabWorkArea::updateTabTexts()
                        // that it makes the path more unique.
                        somethingChanged = true;
                        It sit = segStart;
+                       // this is ok for the reason mentioned  in the previous comment.
+                       // coverity[INVALIDATE_ITERATOR]
                        QString dspString = sit->forecastPathString();
                        LYXERR(Debug::GUI, "first forecast found for "
                               << sit->abs() << " => " << dspString);