Index: third_party/WebKit/public/web/WebLocalFrame.h |
diff --git a/third_party/WebKit/public/web/WebLocalFrame.h b/third_party/WebKit/public/web/WebLocalFrame.h |
index eceed95ed8cfec2b8f27ca49e79f5b8aa25baa4d..7b757e30a57b7faaec8f8b576419b228b5042b42 100644 |
--- a/third_party/WebKit/public/web/WebLocalFrame.h |
+++ b/third_party/WebKit/public/web/WebLocalFrame.h |
@@ -158,7 +158,7 @@ public: |
// marginLeft must be initialized to the default values that are used if |
// auto is specified. |
virtual void pageSizeAndMarginsInPixels(int pageIndex, |
- WebSize& pageSize, |
+ WebFloatSize& pageSize, |
int& marginTop, |
int& marginRight, |
int& marginBottom, |