Add comment to fix coverity #23308

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

diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp
index 7d6ca0b730b5147ba7ef1e08d2b7919552e3a8c6..460d7ad4623bd725a591821d557dc8ab63bab51d 100644 (file)
--- a/src/frontends/qt4/GuiApplication.cpp
+++ b/src/frontends/qt4/GuiApplication.cpp
@@ -1673,8 +1673,11 @@ void GuiApplication::dispatch(FuncRequest const & cmd, DispatchResult & dr)
                        current_view_->openDocument(fname);
                        if (current_view_ && !current_view_->documentBufferView())
                                current_view_->close();
-               } else
+               } else {
+                       // we know !d->views.empty(), so this should be ok
+                       // coverity[FORWARD_NULL]
                        current_view_->openDocument(fname);
+               }
                break;
        }