Remove ui::num
authorTom Tromey <tromey@adacore.com>
Tue, 15 Sep 2020 14:54:03 +0000 (08:54 -0600)
committerTom Tromey <tromey@adacore.com>
Tue, 15 Sep 2020 14:54:03 +0000 (08:54 -0600)
commitcbe256847e19f044039afeba7b152ef19d9e0635
tree5cb5eef4ef2fab306271fb9ca27749b72ce62298
parentdb92ac4568f1d4cc1a3409098d033afbe8b555f5
Remove ui::num

I noticed that nothing uses ui::num, so this patch removes it.

gdb/ChangeLog
2020-09-15  Tom Tromey  <tromey@adacore.com>

* top.c (ui::ui): Update.
(highest_ui_num): Remove.
* top.h (struct ui) <num>: Remove.
gdb/ChangeLog
gdb/top.c
gdb/top.h