diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index ea3c0777c9..8e70be6ebd 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2019-08-13  Tom Tromey  <tom@tromey.com>
+
+	* tui/tui-layout.h (tui_default_win_height): Don't declare.
+	* tui/tui-layout.c (tui_default_win_height): Now static.
+
 2019-08-13  Tom Tromey  <tom@tromey.com>
 
 	* tui/tui-layout.c (show_layout): Unify all layout cases into a
diff --git a/gdb/tui/tui-layout.c b/gdb/tui/tui-layout.c
index 91db38404b..f4f834dc83 100644
--- a/gdb/tui/tui-layout.c
+++ b/gdb/tui/tui-layout.c
@@ -254,7 +254,7 @@ tui_add_win_to_layout (enum tui_win_type type)
 /* Answer the height of a window.  If it hasn't been created yet,
    answer what the height of a window would be based upon its type and
    the layout.  */
-int
+static int
 tui_default_win_height (enum tui_win_type type, 
 			enum tui_layout_type layout)
 {
diff --git a/gdb/tui/tui-layout.h b/gdb/tui/tui-layout.h
index 5f1993387b..a7e1e90898 100644
--- a/gdb/tui/tui-layout.h
+++ b/gdb/tui/tui-layout.h
@@ -26,8 +26,6 @@
 #include "tui/tui-data.h"
 
 extern void tui_add_win_to_layout (enum tui_win_type);
-extern int tui_default_win_height (enum tui_win_type, 
-				   enum tui_layout_type);
 extern int tui_default_win_viewport_height (enum tui_win_type,
 					    enum tui_layout_type);
 extern void tui_set_layout (enum tui_layout_type);