Give mapped_index_base a virtual destructor
authorTom Tromey <tom@tromey.com>
Mon, 29 Mar 2021 23:44:57 +0000 (17:44 -0600)
committerTom Tromey <tom@tromey.com>
Wed, 20 Apr 2022 15:10:03 +0000 (09:10 -0600)
commit6555809e3e5ca516c7c1ffca494118ec7fd16934
tree4087b99c00b880f508de787154db44da3251a7ad
parent20386fa32d589332a1d8e6f93ad97392218607c5
Give mapped_index_base a virtual destructor

This changes mapped_index_base to have a virtual destructor, so it can
be destroyed via its base class.
gdb/dwarf2/mapped-index.h