diff options
Diffstat (limited to 'src/gui/guiEngine.h')
| -rw-r--r-- | src/gui/guiEngine.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/gui/guiEngine.h b/src/gui/guiEngine.h index 2f182ca81..a95bb3085 100644 --- a/src/gui/guiEngine.h +++ b/src/gui/guiEngine.h @@ -111,8 +111,8 @@ public: private: /** driver to get textures from */ video::IVideoDriver *m_driver = nullptr; - /** set of texture names to delete */ - std::set<std::string> m_to_delete; + /** set of textures to delete */ + std::vector<video::ITexture*> m_to_delete; }; /** GUIEngine specific implementation of OnDemandSoundFetcher */ |