Index: third_party/WebKit/Source/core/dom/Document.h |
diff --git a/third_party/WebKit/Source/core/dom/Document.h b/third_party/WebKit/Source/core/dom/Document.h |
index 748444a8531261728495a6525df0ac3f8bcecf0d..6cb1b96f7fd90e1a2c6397242f13150f8f74b5c4 100644 |
--- a/third_party/WebKit/Source/core/dom/Document.h |
+++ b/third_party/WebKit/Source/core/dom/Document.h |
@@ -470,7 +470,7 @@ public: |
// auto is specified. |
void pageSizeAndMarginsInPixels(int pageIndex, DoubleSize& pageSize, int& marginTop, int& marginRight, int& marginBottom, int& marginLeft); |
- ResourceFetcher* fetcher() { return m_fetcher.get(); } |
+ ResourceFetcher* fetcher() const { return m_fetcher.get(); } |
void initialize(); |
virtual void shutdown(); |