Change tui_set_exec_info_content to return void
authorTom Tromey <tom@tromey.com>
Sun, 16 Jun 2019 23:51:34 +0000 (17:51 -0600)
committerTom Tromey <tom@tromey.com>
Tue, 25 Jun 2019 13:48:40 +0000 (07:48 -0600)
commit73fbdc65a1f3da143e604d95443dc11ee86af710
tree439ecf379517fb48ff7e403c61c5313ecf3fe3ed
parent3332534318eb10a77e441307d28336996325558c
Change tui_set_exec_info_content to return void

tui_set_exec_info_content can't return an error, so change it to
return void instead.

gdb/ChangeLog
2019-06-25  Tom Tromey  <tom@tromey.com>

* tui/tui-winsource.h (tui_set_exec_info_content): Return void.
* tui/tui-winsource.c (tui_set_exec_info_content): Return void.
gdb/ChangeLog
gdb/tui/tui-winsource.c
gdb/tui/tui-winsource.h