| Index: Source/wtf/FilePrintStream.h
|
| diff --git a/Source/wtf/FilePrintStream.h b/Source/wtf/FilePrintStream.h
|
| index db0b51f70c616d86c5a1012ea1ce62132e29a932..7e20d24dea22233c591a17a397938d4e924cd712 100644
|
| --- a/Source/wtf/FilePrintStream.h
|
| +++ b/Source/wtf/FilePrintStream.h
|
| @@ -40,14 +40,14 @@ public:
|
| };
|
|
|
| FilePrintStream(FILE*, AdoptionMode = Adopt);
|
| - virtual ~FilePrintStream();
|
| + ~FilePrintStream() override;
|
|
|
| static PassOwnPtr<FilePrintStream> open(const char* filename, const char* mode);
|
|
|
| FILE* file() { return m_file; }
|
|
|
| - virtual void vprintf(const char* format, va_list) override WTF_ATTRIBUTE_PRINTF(2, 0);
|
| - virtual void flush() override;
|
| + void vprintf(const char* format, va_list) override WTF_ATTRIBUTE_PRINTF(2, 0);
|
| + void flush() override;
|
|
|
| private:
|
| FILE* m_file;
|
|
|