Code

Corrects delete/delete[] issue. Fixes bug #613723.