From 702dc4fd25277e0b3206af531c59cea4fbf58be4 Mon Sep 17 00:00:00 2001
From: Pedro Alves <palves@redhat.com>
Date: Mon, 1 Jul 2013 10:09:27 +0000
Subject: [PATCH] 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.
---
 gdb/ChangeLog      | 4 ++++
 gdb/tui/tui-regs.c | 2 --
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 72a6258a63d..8e1c18528a4 100644
--- 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 975173a326e..bb723402560 100644
--- 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)
 {
-- 
2.30.2