mirror of
https://github.com/OPM/opm-simulators.git
synced 2025-02-25 18:55:30 -06:00
this prevents GCC-7's address sanitizer from complaining about a delete for a new of a different type. (i.e., the new is for the derived class, but if the destructor is non-virtual only the dtor of the base class is called if a pointer to the base class is deleted.) finding this was quite some fun, mainly because it took a while what the issue was.