3 files changed, 3 insertions, 14 deletions
diff --git a/gdb/tui/tui-command.c b/gdb/tui/tui-command.c
index 2060a36..677721d 100644
--- a/gdb/tui/tui-command.c
+++ b/gdb/tui/tui-command.c
@@ -51,11 +51,3 @@ tui_cmd_window::resize (int height_, int width_, int origin_x, int origin_y)
       wmove (handle.get (), 0, 0);
     }
 }
-
-/* See tui-command.h.  */
-
-void
-tui_refresh_cmd_win (void)
-{
-  tui_cmd_win ()->refresh_window ();
-}
diff --git a/gdb/tui/tui-command.h b/gdb/tui/tui-command.h
index 666b8f5..f167d95 100644
--- a/gdb/tui/tui-command.h
+++ b/gdb/tui/tui-command.h
@@ -62,7 +62,4 @@ tui_cmd_win ()
   return dynamic_cast<tui_cmd_window *> (tui_win_list[CMD_WIN]);
 }
 
-/* Refresh the command window.  */
-extern void tui_refresh_cmd_win (void);
-
 #endif /* TUI_TUI_COMMAND_H */
diff --git a/gdb/tui/tui-file.c b/gdb/tui/tui-file.c
index 7878190..17ac138 100644
--- a/gdb/tui/tui-file.c
+++ b/gdb/tui/tui-file.c
@@ -25,7 +25,7 @@ tui_file::puts (const char *linebuffer)
 {
   tui_puts (linebuffer);
   if (!m_buffered)
-    tui_refresh_cmd_win ();
+    tui_cmd_win ()->refresh_window ();
 }
 
 void
@@ -33,13 +33,13 @@ tui_file::write (const char *buf, long length_buf)
 {
   tui_write (buf, length_buf);
   if (!m_buffered)
-    tui_refresh_cmd_win ();
+    tui_cmd_win ()->refresh_window ();
 }
 
 void
 tui_file::flush ()
 {
   if (m_buffered)
-    tui_refresh_cmd_win ();
+    tui_cmd_win ()->refresh_window ();
   stdio_file::flush ();
 }