| Index: Source/core/page/WorkerNavigator.h
|
| diff --git a/Source/core/page/WorkerNavigator.h b/Source/core/page/WorkerNavigator.h
|
| index 2152785640f400a71606ad7338b03112661c218b..710f30752f0213a2e7a4a480984d28f190986dd9 100644
|
| --- a/Source/core/page/WorkerNavigator.h
|
| +++ b/Source/core/page/WorkerNavigator.h
|
| @@ -40,7 +40,7 @@ public:
|
| static PassRefPtr<WorkerNavigator> create(const String& userAgent) { return adoptRef(new WorkerNavigator(userAgent)); }
|
| virtual ~WorkerNavigator();
|
|
|
| - virtual String userAgent() const;
|
| + virtual String userAgent() const OVERRIDE;
|
|
|
| private:
|
| explicit WorkerNavigator(const String&);
|
|
|