remove unused deprecated_flush_hook declaration

deprecated_flush_hook is declared in defs.h but never defined.
This patch removes the stale declaration.

2014-01-13  Tom Tromey  <tromey@redhat.com>

	* defs.h (deprecated_flush_hook): Remove.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 2355f532f1f272091b3e11230ce7ad504e7a25db..5e3975f409e1910c4be1d8932610c3eb21f7d131 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2014-01-13  Tom Tromey  <tromey@redhat.com>
+
+       * defs.h (deprecated_flush_hook): Remove.
+
 2014-01-13  Jan Kratochvil  <jan.kratochvil@redhat.com>
 
        PR threads/16216

diff --git a/gdb/defs.h b/gdb/defs.h
index 4aee7bb52913f7becfc8c845c0644e71bc0f2c17..7a7d47412fc1455bf826e33a7f20443e638d34e1 100644 (file)
--- a/gdb/defs.h
+++ b/gdb/defs.h
@@ -710,7 +710,6 @@ extern int (*deprecated_query_hook) (const char *, va_list)
      ATTRIBUTE_FPTR_PRINTF(1,0);
 extern void (*deprecated_warning_hook) (const char *, va_list)
      ATTRIBUTE_FPTR_PRINTF(1,0);
-extern void (*deprecated_flush_hook) (struct ui_file * stream);
 extern void (*deprecated_interactive_hook) (void);
 extern void (*deprecated_readline_begin_hook) (char *, ...)
      ATTRIBUTE_FPTR_PRINTF_1;