diff --git a/src/util/warning.h b/src/util/warning.h index 629c357fa..2bcc7512b 100644 --- a/src/util/warning.h +++ b/src/util/warning.h @@ -33,26 +33,5 @@ void warning_msg(const char * msg, ...); void format2ostream(std::ostream& out, char const* fmt, va_list args); -class warning_displayer { - const char * m_msg; - bool m_displayed; -public: - warning_displayer(const char * msg): - m_msg(msg), - m_displayed(false) { - } - - void sign() { - if (!m_displayed) { - warning_msg(m_msg); - m_displayed = true; - } - } - - void reset() { - m_displayed = false; - } -}; - #endif /* WARNING_H_ */