Index: content/shell/browser/shell_devtools_frontend.h |
diff --git a/content/shell/browser/shell_devtools_frontend.h b/content/shell/browser/shell_devtools_frontend.h |
index 6244380fc9a370c7ab970a6883164a58c2c8f753..e1d93c644018af32cf1004a7233563a32109599f 100644 |
--- a/content/shell/browser/shell_devtools_frontend.h |
+++ b/content/shell/browser/shell_devtools_frontend.h |
@@ -44,7 +44,7 @@ class ShellDevToolsFrontend : public WebContentsObserver, |
// WebContentsObserver overrides |
virtual void RenderViewCreated(RenderViewHost* render_view_host) OVERRIDE; |
virtual void DocumentOnLoadCompletedInMainFrame(int32 page_id) OVERRIDE; |
- virtual void WebContentsDestroyed(WebContents* web_contents) OVERRIDE; |
+ virtual void WebContentsDestroyed() OVERRIDE; |
// DevToolsFrontendHostDelegate implementation |
virtual void DispatchOnEmbedder(const std::string& message) OVERRIDE {} |