get rid of empty destructor
Authored by: Jean-Francois Dockes 2016-05-11
Parent(s): [7917af]
Child(ren): [2dc798]