| Index: Source/wtf/FilePrintStream.h
|
| diff --git a/Source/wtf/FilePrintStream.h b/Source/wtf/FilePrintStream.h
|
| index abb26dc3f2d5864fff9f71fb116c7dacb81c635c..fe05d9c8d8768d086bd39753205c4b3fb0351371 100644
|
| --- a/Source/wtf/FilePrintStream.h
|
| +++ b/Source/wtf/FilePrintStream.h
|
| @@ -46,7 +46,7 @@ public:
|
|
|
| FILE* file() { return m_file; }
|
|
|
| - virtual void vprintf(const char* format, va_list) WTF_ATTRIBUTE_PRINTF(2, 0) OVERRIDE;
|
| + virtual void vprintf(const char* format, va_list) OVERRIDE WTF_ATTRIBUTE_PRINTF(2, 0);
|
| virtual void flush() OVERRIDE;
|
|
|
| private:
|
|
|