From 7f92cccbf86c655ab94bb4a33e80e6f4f7c415d7 Mon Sep 17 00:00:00 2001 From: "Steinar H. Gunderson" Date: Tue, 14 Jan 2014 20:10:50 +0100 Subject: [PATCH] Remove unused element need_texture_update from DitherEffect. Found by Coverity Scan. --- dither_effect.h | 1 - 1 file changed, 1 deletion(-) diff --git a/dither_effect.h b/dither_effect.h index f9f371c..a6c3c9c 100644 --- a/dither_effect.h +++ b/dither_effect.h @@ -75,7 +75,6 @@ private: int texture_width, texture_height; GLuint texnum; - bool need_texture_update; }; #endif // !defined(_MOVIT_DITHER_EFFECT_H) -- 2.39.2