Remove useless assignment from tui_remove_hooks

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.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 1dfe43d..7bce482 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,5 +1,10 @@
 2019-08-16  Tom Tromey  <tom@tromey.com>
 
+       * tui/tui-hooks.c (tui_remove_hooks): Don't set
+       deprecated_query_hook.
+
+2019-08-16  Tom Tromey  <tom@tromey.com>
+
        * tui/tui-winsource.c (tui_update_source_windows_with_addr)
        (tui_update_source_windows_with_line): Update.
        * tui/tui-source.h (struct tui_source_window)

diff --git a/gdb/tui/tui-hooks.c b/gdb/tui/tui-hooks.c
index a2d06f8..5cc90dd 100644 (file)
--- 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);