| 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 {}
|
|
|