From e699d33164a59dcfe7ad4a5154e5c6c811c1f958 Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Thu, 11 Jul 2019 23:24:03 -0600 Subject: [PATCH] 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 * 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(-) diff --git a/gdb/ChangeLog b/gdb/ChangeLog index 1dfe43d1ada..7bce482ef12 100644 --- a/gdb/ChangeLog +++ b/gdb/ChangeLog @@ -1,3 +1,8 @@ +2019-08-16 Tom Tromey + + * tui/tui-hooks.c (tui_remove_hooks): Don't set + deprecated_query_hook. + 2019-08-16 Tom Tromey * 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 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); -- 2.39.2