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 1dfe43d1adabd6dcf3605c51954a2dfafb76c0eb..7bce482ef122b14cea2cd86827ef18a6b25a1901 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+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)

diff --git a/gdb/tui/tui-hooks.c b/gdb/tui/tui-hooks.c
index a2d06f8a15242c874c0ac4479ac0c991050842ac..5cc90dd3b6c0d087aab8e49b5b30d3b4232f0587 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);