Add comment to fix coverity #23308

This commit is contained in:
Richard Heck 2016-06-11 22:54:15 -04:00
parent 2cb6ed9376
commit fd42194c7e

View File

@ -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;
}