X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fvideo%2Ftexture_manager.cpp;h=d9ff2a74be2ee1c1c1af3fac2184980033117ff5;hb=8c205abd2d811ba36e1a3639f5bfab6263bf9077;hp=0e000869627298846bcebfa9bb1a65b7cfd421bf;hpb=e7a12ed844f040d270e50ce25f74de5f017c1157;p=supertux.git

diff --git a/src/video/texture_manager.cpp b/src/video/texture_manager.cpp
index 0e0008696..d9ff2a74b 100644
--- a/src/video/texture_manager.cpp
+++ b/src/video/texture_manager.cpp
@@ -34,6 +34,7 @@
 #include "gameconfig.hpp"
 #include "file_system.hpp"
 #include "log.hpp"
+#include "texture.hpp"
 
 TextureManager* texture_manager = NULL;