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 72a6258..8e1c185 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 975173a..bb72340 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)
 {