37ae6505d4
Since this is the destructor of the class, the member variables won't be read afterwards, and setting the pointers to NULL afterwards is redundant.