aeb6a037ed
Prevents undefined behavior when destroying derived classes through a base class pointer.
Prevents undefined behavior when destroying derived classes through a base class pointer.