From c3d742dda0514de2251883602982ec5389670784 Mon Sep 17 00:00:00 2001
From: Christoph Oelckers <coelckers@users.noreply.github.com>
Date: Sun, 20 Oct 2019 10:52:56 +0200
Subject: [PATCH] - really delete the textures.

---
 source/common/textures/texture.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/source/common/textures/texture.cpp b/source/common/textures/texture.cpp
index 87505140f..2ad399bc7 100644
--- a/source/common/textures/texture.cpp
+++ b/source/common/textures/texture.cpp
@@ -39,6 +39,7 @@
 
 #include "bitmap.h"
 #include "image.h"
+#include "../glbackend/gl_hwtexture.h"
 
 FTexture *CreateBrightmapTexture(FImageSource*);