diff --git a/src/game_initialization/lobby_data.cpp b/src/game_initialization/lobby_data.cpp
index b0c2596c5a97..16f8e019b7ce 100644
--- a/src/game_initialization/lobby_data.cpp
+++ b/src/game_initialization/lobby_data.cpp
@@ -314,7 +314,7 @@ game_info::game_info(const config& game, const config& game_config, const std::v
 			msi << map.w() << font::unicode_multiplication_sign << map.h();
 			map_size_info = msi.str();
 			info_stream << spaced_em_dash() << map_size_info;
-		} catch(incorrect_map_format_error& e) {
+		} catch(incorrect_map_format_error&) {
 			verified = false;
 		} catch(wml_exception& e) {
 			ERR_CF << "map could not be loaded: " << e.dev_message << '\n';