map<GLuint, FBO>::const_iterator format_it = fbo_formats.find(fbo_num);
assert(format_it != fbo_formats.end());
if (format_it->second.texture_num == free_texture_num) {
+ fbo_formats.erase(fbo_num);
glDeleteFramebuffers(1, &fbo_num);
fbo_freelist.erase(fbo_freelist_it++);
} else {