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(); |