Delete pagination_enabled extern declaration in tui/tui-regs.c.

It's declared in utils.h.

gdb/
2013-07-01  Pedro Alves  <palves@redhat.com>

	* tui/tui-regs.c (pagination_enabled): Delete declaration.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 72a6258a63d745623d130370c487a18339604adb..8e1c18528a49d7675c5ace60c30263ec9e31503d 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2013-07-01  Pedro Alves  <palves@redhat.com>
+
+       * tui/tui-regs.c (pagination_enabled): Delete declaration.
+
 2013-06-30  Jan Kratochvil  <jan.kratochvil@redhat.com>
 
        Code cleanup.

diff --git a/gdb/tui/tui-regs.c b/gdb/tui/tui-regs.c
index 975173a326e778b15a3c1b16832cee1de15c2097..bb723402560ee7ffc2c50f20bb6bb00849f67f72 100644 (file)
--- a/gdb/tui/tui-regs.c
+++ b/gdb/tui/tui-regs.c
@@ -661,8 +661,6 @@ _initialize_tui_regs (void)
 ** STATIC LOCAL FUNCTIONS                 **
 ******************************************/
 
-extern int pagination_enabled;
-
 static void
 tui_restore_gdbout (void *ui)
 {