Index: src/ostreams.h |
diff --git a/src/ostreams.h b/src/ostreams.h |
index 65ae2ff1ff0218afd0d6ff61f0d354f819e68e48..56787f7c126a2d1ff0be295652b247354816170c 100644 |
--- a/src/ostreams.h |
+++ b/src/ostreams.h |
@@ -22,8 +22,8 @@ class OFStreamBase : public std::streambuf { |
explicit OFStreamBase(FILE* f); |
virtual ~OFStreamBase(); |
- virtual int_type sync() FINAL; |
- virtual int_type overflow(int_type c) FINAL; |
+ int_type sync() FINAL; |
+ int_type overflow(int_type c) FINAL; |
private: |
FILE* const f_; |