diff options
| -rw-r--r-- | chrome/renderer/devtools_agent_filter.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/chrome/renderer/devtools_agent_filter.cc b/chrome/renderer/devtools_agent_filter.cc index 4971e90..1a455f5 100644 --- a/chrome/renderer/devtools_agent_filter.cc +++ b/chrome/renderer/devtools_agent_filter.cc @@ -12,6 +12,7 @@ #include "chrome/renderer/render_view.h" #include "third_party/WebKit/WebKit/chromium/public/WebDevToolsAgent.h" #include "third_party/WebKit/WebKit/chromium/public/WebDevToolsMessageData.h" +#include "third_party/WebKit/WebKit/chromium/public/WebDevToolsMessageTransport.h" #include "third_party/WebKit/WebKit/chromium/public/WebString.h" #include "webkit/glue/devtools_message_data.h" |