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: |