diff options
Diffstat (limited to 'src/common.h')
-rw-r--r-- | src/common.h | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/common.h b/src/common.h index b30ea6dd..fefec543 100644 --- a/src/common.h +++ b/src/common.h @@ -106,11 +106,6 @@ struct v128 { namespace wabt { -enum class ErrorLevel { - Warning, - Error, -}; - typedef uint32_t Index; // An index into one of the many index spaces. typedef uint32_t Address; // An address or size in linear memory. typedef size_t Offset; // An offset into a host's file or memory buffer. @@ -399,18 +394,6 @@ static WABT_INLINE TypeVector GetInlineTypeVector(Type type) { } } -/* error level */ - -static WABT_INLINE const char* GetErrorLevelName(ErrorLevel error_level) { - switch (error_level) { - case ErrorLevel::Warning: - return "warning"; - case ErrorLevel::Error: - return "error"; - } - WABT_UNREACHABLE; -} - template <typename T> void ConvertBackslashToSlash(T begin, T end) { std::replace(begin, end, '\\', '/'); |