[9/9] Remove useless assignment from tui_remove_hooks

Message ID 20190816161511.16162-10-tom@tromey.com
State New, archived
Headers

Commit Message

Tom Tromey Aug. 16, 2019, 4:15 p.m. UTC
  tui_remove_hooks clears deprecated_query_hook, but nothing in the TUI
ever sets it; so remove the assignment.

gdb/ChangeLog
2019-08-16  Tom Tromey  <tom@tromey.com>

	* tui/tui-hooks.c (tui_remove_hooks): Don't set
	deprecated_query_hook.
---
 gdb/ChangeLog       | 5 +++++
 gdb/tui/tui-hooks.c | 1 -
 2 files changed, 5 insertions(+), 1 deletion(-)
  

Patch

diff --git a/gdb/tui/tui-hooks.c b/gdb/tui/tui-hooks.c
index a2d06f8a152..5cc90dd3b6c 100644
--- a/gdb/tui/tui-hooks.c
+++ b/gdb/tui/tui-hooks.c
@@ -260,7 +260,6 @@  void
 tui_remove_hooks (void)
 {
   deprecated_print_frame_info_listing_hook = 0;
-  deprecated_query_hook = 0;
 
   /* Remove our observers.  */
   tui_attach_detach_observers (false);