From c8c0ce341005884644e19744a79998395795aa81 Mon Sep 17 00:00:00 2001 From: Tobias Markus Date: Thu, 6 Jul 2023 07:25:28 +0200 Subject: [PATCH] Remove unneded s_needs_flushing_gameobjects_removed --- src/supertux/game_object_manager.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/supertux/game_object_manager.cpp b/src/supertux/game_object_manager.cpp index 41c2027b6b6..ccb7d310067 100644 --- a/src/supertux/game_object_manager.cpp +++ b/src/supertux/game_object_manager.cpp @@ -432,7 +432,6 @@ GameObjectManager::this_before_object_remove(GameObject& object) auto it = std::find(vec.begin(), vec.end(), &object); assert(it != vec.end()); vec.erase(it); - s_needs_flushing_gameobjects_removed = true; } }