From a8b9c34463280462d6f3d473faa2172df6f93197 Mon Sep 17 00:00:00 2001 From: =?utf8?q?W=C5=82odzimierz=20Skiba?= Date: Mon, 27 Mar 2006 12:36:11 +0000 Subject: [PATCH] Coverity CID 100 fix. git-svn-id: https://svn.wxwidgets.org/svn/wx/wxWidgets/trunk@38381 c3d73ce0-8a6f-49c7-b76d-6d57e0e08775 --- src/html/helpwnd.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/html/helpwnd.cpp b/src/html/helpwnd.cpp index 51e081117d..e9aac75806 100644 --- a/src/html/helpwnd.cpp +++ b/src/html/helpwnd.cpp @@ -1503,7 +1503,9 @@ void wxHtmlHelpWindow::OnToolbar(wxCommandEvent& event) { m_BookmarksNames.RemoveAt(pos); m_BookmarksPages.RemoveAt(pos); - m_Bookmarks->Delete(m_Bookmarks->GetSelection()); + pos = m_Bookmarks->GetSelection(); + wxASSERT_MSG( pos != wxNOT_FOUND , wxT("Unknown bookmark position") ) ; + m_Bookmarks->Delete((unsigned int)pos); } } break; -- 2.45.2