2 files changed, 2 insertions, 4 deletions
diff --git a/gdb/tui/tui-win.c b/gdb/tui/tui-win.c
index c8d36c7..f47dad8 100644
--- a/gdb/tui/tui-win.c
+++ b/gdb/tui/tui-win.c
@@ -334,7 +334,8 @@ tui_get_cmd_list (void)
 
 /* The set_func hook of "set tui ..." commands that affect the window
    borders on the TUI display.  */
-void
+
+static void
 tui_set_var_cmd (const char *null_args,
 		 int from_tty, struct cmd_list_element *c)
 {
diff --git a/gdb/tui/tui-win.h b/gdb/tui/tui-win.h
index e97eb67..81b7dac 100644
--- a/gdb/tui/tui-win.h
+++ b/gdb/tui/tui-win.h
@@ -54,7 +54,4 @@ extern void tui_update_gdb_sizes (void);
 /* Create or get the TUI command list.  */
 struct cmd_list_element **tui_get_cmd_list (void);
 
-/* Set a TUI variable.  */
-void tui_set_var_cmd (char *, int, struct cmd_list_element *);
-
 #endif /* TUI_TUI_WIN_H */