diff --git a/log.cpp b/log.cpp index e0a98805..5793185a 100644 --- a/log.cpp +++ b/log.cpp @@ -37,7 +37,10 @@ using std::map; void check_level (level_t l) - { CHECK (l >= 0 && l < NUM_LEVELS); } +{ + (void)l; // Consume even in release mode + CHECK (l >= 0 && l < NUM_LEVELS); +} const string& level_to_string (level_t l) {