Fix mismatched new/delete calls.
authorMichael Vrable <mvrable@cs.ucsd.edu>
Tue, 16 Oct 2007 20:47:34 +0000 (13:47 -0700)
committerMichael Vrable <mvrable@beleg.vrable.net>
Tue, 16 Oct 2007 20:47:34 +0000 (13:47 -0700)
commit7eff3edfed612e90c5bdb02c05644e550f2270be
tree7a77062534445d6bde061221f747ba10bb905e42
parent5ba8db5d2839e8f5416945523d637421b8d80e3c
Fix mismatched new/delete calls.

Caught by Valgrind: memory was being allocated with new[] but freed with
delete.  Use delete[] instead.
util.cc