reverted change

This commit is contained in:
Robin Müller 2020-12-21 17:19:43 +01:00
parent 1d080ba6cb
commit 5317391f8a

View File

@ -30,7 +30,7 @@ protected:
//! This is called when buffer becomes full. If //! This is called when buffer becomes full. If
//! buffer is not used, then this is called every //! buffer is not used, then this is called every
//! time when characters are put to stream. //! time when characters are put to stream.
int overflow(int c = std::ostream::traits_type::eof()) override; int overflow(int c = Traits::eof()) override;
//! This function is called when stream is flushed, //! This function is called when stream is flushed,
//! for example when std::endl is put to stream. //! for example when std::endl is put to stream.