diff --git a/src/karts/kart_properties_manager.cpp b/src/karts/kart_properties_manager.cpp
index 35c17533d..ba2978ab2 100644
--- a/src/karts/kart_properties_manager.cpp
+++ b/src/karts/kart_properties_manager.cpp
@@ -347,6 +347,7 @@ std::vector<std::string> KartPropertiesManager::getRandomKartList(int count,
         }
         catch (std::runtime_error& ex)
         {
+            (void)ex;
             std::cerr << "[KartPropertiesManager] getRandomKartList : WARNING, can't find kart '" << existing_karts[i].getKartName() << "'\n";
         }
     }