Updating development with upstream changes #2

Closed
muellerr wants to merge 38 commits from mueller/master into development
1 changed files with 1 additions and 1 deletions
Showing only changes of commit 71ee86a688 - Show all commits

View File

@ -30,7 +30,7 @@ protected:
//! This is called when buffer becomes full. If
//! buffer is not used, then this is called every
//! 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,
//! for example when std::endl is put to stream.