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 da10cd11883d428a1f2c2143edd1878f8686fe76..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);