Index: chrome/browser/ui/webui/history2_ui.h |
diff --git a/chrome/browser/ui/webui/history2_ui.h b/chrome/browser/ui/webui/history2_ui.h |
index 7643346f716a61301e72313c36b7ab7ac0daa2bd..e92e3372d082fb5e64193250cbf69ff1155e3050 100644 |
--- a/chrome/browser/ui/webui/history2_ui.h |
+++ b/chrome/browser/ui/webui/history2_ui.h |
@@ -32,7 +32,7 @@ class HistoryUIHTMLSource2 : public ChromeURLDataManager::DataSource { |
virtual std::string GetMimeType(const std::string&) const; |
private: |
- ~HistoryUIHTMLSource2() {} |
+ virtual ~HistoryUIHTMLSource2() {} |
DISALLOW_COPY_AND_ASSIGN(HistoryUIHTMLSource2); |
}; |