diff --git a/src/window_gui.h b/src/window_gui.h
index 65019d2967..c72b99569a 100644
--- a/src/window_gui.h
+++ b/src/window_gui.h
@@ -510,7 +510,6 @@ public:
 
 	void RaiseButtons(bool autoraise = false);
 	void CDECL SetWidgetsDisabledState(bool disab_stat, int widgets, ...);
-	void CDECL SetWidgetsHiddenState(bool hidden_stat, int widgets, ...);
 	void CDECL SetWidgetsLoweredState(bool lowered_stat, int widgets, ...);
 	void SetWidgetDirty(byte widget_index) const;