Daniel Kamil Kozar 16a9c2885d
Fix another non-array delete on an array
Arrays should generally be deleted with delete[]. Also, this operator's behaviour (as well as the normal delete's) is well defined on null pointers (it's a no-op), so the if is totally needless.
2021-02-04 00:49:50 +01:00
..
2020-03-13 12:45:33 +02:00
2020-03-13 21:17:48 +02:00