| Index: Source/core/page/Navigator.h
|
| diff --git a/Source/core/page/Navigator.h b/Source/core/page/Navigator.h
|
| index 0d279bdedd8308ac1038faeb3175ffa8c58d4af5..1f59a18035ac1353c02728f43bf8dfbd10be8451 100644
|
| --- a/Source/core/page/Navigator.h
|
| +++ b/Source/core/page/Navigator.h
|
| @@ -50,7 +50,7 @@ public:
|
| bool cookieEnabled() const;
|
| bool javaEnabled() const;
|
|
|
| - virtual String userAgent() const;
|
| + virtual String userAgent() const OVERRIDE;
|
|
|
| // Relinquishes the storage lock, if one exists.
|
| void getStorageUpdates();
|
|
|