| 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 8aac26aaec73364960b1c5ee711bfa113cb6d56d..d9591c7eceaf77e1a689dff3d3dfc4cdd80a9b66 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() OVERRIDE;
|
| - virtual void WebContentsDestroyed(WebContents* web_contents) OVERRIDE;
|
| + virtual void WebContentsDestroyed() OVERRIDE;
|
|
|
| // DevToolsFrontendHostDelegate implementation
|
| virtual void DispatchOnEmbedder(const std::string& message) OVERRIDE {}
|
|
|