diff --git a/gdb/tui/tui-io.c b/gdb/tui/tui-io.c
index 51f08168a90..9f27f8bcc01 100644
--- a/gdb/tui/tui-io.c
+++ b/gdb/tui/tui-io.c
@@ -907,7 +907,7 @@ tui_initialize_io (void)
   tui_stdout = new pager_file (new tui_file (stdout));
   tui_stderr = new tui_file (stderr);
   tui_stdlog = new timestamped_file (tui_stderr);
-  tui_out = tui_out_new (tui_stdout);
+  tui_out = new tui_ui_out (tui_stdout);
 
   /* Create the default UI.  */
   tui_old_uiout = new cli_ui_out (gdb_stdout);
diff --git a/gdb/tui/tui-out.c b/gdb/tui/tui-out.c
index ae50b65a3c6..fdbd9c9fcc3 100644
--- a/gdb/tui/tui-out.c
+++ b/gdb/tui/tui-out.c
@@ -109,9 +109,3 @@ tui_ui_out::tui_ui_out (ui_file *stream)
   : cli_ui_out (stream, 0)
 {
 }
-
-tui_ui_out *
-tui_out_new (struct ui_file *stream)
-{
-  return new tui_ui_out (stream);
-}
diff --git a/gdb/tui/tui-out.h b/gdb/tui/tui-out.h
index b71d308cf14..967900f0307 100644
--- a/gdb/tui/tui-out.h
+++ b/gdb/tui/tui-out.h
@@ -61,6 +61,4 @@ private:
   int m_start_of_line = 0;
 };
 
-extern tui_ui_out *tui_out_new (struct ui_file *stream);
-
 #endif /* TUI_TUI_OUT_H */