| Index: chrome/renderer/devtools_agent_filter.cc
|
| diff --git a/chrome/renderer/devtools_agent_filter.cc b/chrome/renderer/devtools_agent_filter.cc
|
| index 8049868fcb693cc7167fd5e19901a24ed7cd6f16..f67f183219a5a1035ae413f698be594db56b17e1 100644
|
| --- a/chrome/renderer/devtools_agent_filter.cc
|
| +++ b/chrome/renderer/devtools_agent_filter.cc
|
| @@ -9,8 +9,8 @@
|
| #include "chrome/renderer/devtools_agent.h"
|
| #include "chrome/renderer/plugin_channel_host.h"
|
| #include "chrome/renderer/render_view.h"
|
| -#include "webkit/api/public/WebDevToolsAgent.h"
|
| -#include "webkit/api/public/WebString.h"
|
| +#include "third_party/WebKit/WebKit/chromium/public/WebDevToolsAgent.h"
|
| +#include "third_party/WebKit/WebKit/chromium/public/WebString.h"
|
|
|
| using WebKit::WebDevToolsAgent;
|
| using WebKit::WebString;
|
|
|