Simen kjaeraas: > A destructor is always final, and private destructors make no sense, > so I would say the attributes should not be there. Thank you for your answer, I have added the test case to bug 3934 Bye, bearophile