| 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;
 | 
| 
 |