Remove redundant declarations reported by GCC with -Wredundant-decls option

[features.git] / src / support / debug.h

diff --git a/src/support/debug.h b/src/support/debug.h
index 112b66a43bc9848cedb5f7b34988b7d50f83e392..f12a84223c9e3321e0206da803e71922f760ac4d 100644 (file)
--- a/src/support/debug.h
+++ b/src/support/debug.h
@@ -114,6 +114,10 @@ namespace Debug {
        /// A function to convert debug level string names numerical values
        Type value(std::string const & val);
 
+       /// Check the validity of debug level names
+       /// \return the first bad level name
+       std::string badValue(std::string const & val);
+
        /// A function to convert index of level to their numerical value
        Type value(int val);
 
@@ -168,7 +172,7 @@ public:
        void setSecondStream(std::ostream * os)
                { second_enabled_ = (second_stream_ = os); }
        /// Is the second stream is enabled?
-       bool secondEnabled() { return second_enabled_; }
+       bool secondEnabled() const { return second_enabled_; }
 
        /// Sets the debug level
        void setLevel(Debug::Type t) { dt_ = t; }