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