diff --git a/gtk2_ardour/mixer_ui.h b/gtk2_ardour/mixer_ui.h
index 5f7114388d..adfb412c53 100644
--- a/gtk2_ardour/mixer_ui.h
+++ b/gtk2_ardour/mixer_ui.h
@@ -153,8 +153,6 @@ public:
 	void toggle_mixer_strip ();
 	void toggle_mixer_props ();
 
-	void showhide_mixer_list (bool yn);
-
 	void toggle_surround_master ();
 
 	void toggle_monitor_section ();