Use default destructor

Authored by nicolasfella on Jun 13 2019, 1:24 PM.