diff options
author | Tom Tromey <tom@tromey.com> | 2019-07-11 23:24:03 -0600 |
---|---|---|
committer | Tom Tromey <tom@tromey.com> | 2019-08-16 11:28:34 -0600 |
commit | e699d33164a59dcfe7ad4a5154e5c6c811c1f958 (patch) | |
tree | 3ec2f0b27499b7dc87ffed7e42f7f9ec0a90dddc /gdb/tui/tui-hooks.c | |
parent | bb01dbfc041dccab2f2a2818068158f61b4c0fe2 (diff) | |
download | gdb-e699d33164a59dcfe7ad4a5154e5c6c811c1f958.zip gdb-e699d33164a59dcfe7ad4a5154e5c6c811c1f958.tar.gz gdb-e699d33164a59dcfe7ad4a5154e5c6c811c1f958.tar.bz2 |
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.
Diffstat (limited to 'gdb/tui/tui-hooks.c')
-rw-r--r-- | gdb/tui/tui-hooks.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gdb/tui/tui-hooks.c b/gdb/tui/tui-hooks.c index a2d06f8..5cc90dd 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); |