diff --git a/dune/stuff/common/logstreams.hh b/dune/stuff/common/logstreams.hh index 3b9cf422d451fb62fe7e3f44dcc0f5031e162e3a..41975d641c4f9ed32e67620f2a102f710aed7fe8 100644 --- a/dune/stuff/common/logstreams.hh +++ b/dune/stuff/common/logstreams.hh @@ -52,13 +52,13 @@ public: ***/ void resume(PriorityType priority); + int pubsync(); + protected: virtual std::streamsize xsputn(const char_type* s, std::streamsize count); virtual int_type overflow(int_type ch = traits_type::eof()); private: - int pubsync(); - inline bool enabled() const { return (!is_suspended_) && (logflags_ & loglevel_);