1 files changed, 0 insertions, 1 deletions
diff --git a/gui/options.h b/gui/options.h
index 796e9fbd7c..def56cfa35 100644
--- a/gui/options.h
+++ b/gui/options.h
@@ -104,7 +104,6 @@ private:
 	PopUpWidget *_gfxPopUp;
 	CheckboxWidget *_fullscreenCheckbox;
 	CheckboxWidget *_aspectCheckbox;
-	CheckboxWidget *_disableDitheringCheckbox;
 	StaticTextWidget *_renderModePopUpDesc;
 	PopUpWidget *_renderModePopUp;