Closed drwells closed 11 months ago
We should make the dtor virtual in case we have a pointer to the base class. While we're here: clean up the headers some more.
Part of #192.
We should make the dtor virtual in case we have a pointer to the base class. While we're here: clean up the headers some more.