From f270222986351338627231f5d082f884b5d08101 Mon Sep 17 00:00:00 2001 From: "Steinar H. Gunderson" Date: Tue, 21 Jan 2014 23:58:11 +0100 Subject: [PATCH 1/1] Fix mis-feeing in the ResourcePool destructor. --- resource_pool.cpp | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/resource_pool.cpp b/resource_pool.cpp index e9241fc..6eadd90 100644 --- a/resource_pool.cpp +++ b/resource_pool.cpp @@ -36,8 +36,7 @@ ResourcePool::~ResourcePool() for (list::const_iterator freelist_it = texture_freelist.begin(); freelist_it != texture_freelist.end(); ++freelist_it) { - GLuint free_texture_num = program_freelist.front(); - program_freelist.pop_front(); + GLuint free_texture_num = *freelist_it; assert(texture_formats.count(free_texture_num) != 0); texture_freelist_bytes -= estimate_texture_size(texture_formats[free_texture_num]); texture_formats.erase(free_texture_num); -- 2.39.2