gdb/tui: add a missing white space character
authorAndrew Burgess <aburgess@redhat.com>
Tue, 15 Feb 2022 14:13:46 +0000 (14:13 +0000)
committerAndrew Burgess <aburgess@redhat.com>
Wed, 16 Feb 2022 11:53:27 +0000 (11:53 +0000)
commit1f841a9348f189a8ee4423eb416d6e5495b5b49d
treec2d833bdace9666243fb2a19cbf28dce99069b6c
parent868d1834ce69971de46821b749e74e82f5d3c2c9
gdb/tui: add a missing white space character

Just adds a missing space.  There should be no user visible changes
after this commit.
gdb/tui/tui-io.c