[LyX/master] Add comment to fix coverity #23308

[Richard Heck]

commit fd42194c7e661e024e34e56166b193284fa5a693
Author: Richard Heck <rgh...@lyx.org>
Date:   Sat Jun 11 22:54:15 2016 -0400

    Add comment to fix coverity #23308

diff --git a/src/frontends/qt4/GuiApplication.cpp 
b/src/frontends/qt4/GuiApplication.cpp
index 7d6ca0b..460d7ad 100644
--- 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;
        }