enumerator::handle: replace incorrect delete by free
commitd08f1a8a76438e77526308e1af7bbf1a0ecb31c4
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 2 Jul 2008 13:08:27 +0000 (2 15:08 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 2 Jul 2008 13:08:33 +0000 (2 15:08 +0200)
tree2eb9870b5b426a7986c8468c354090dbb5689c52
parenta9d45c22d5b950f5eb751b181a5660c60dd3a65f
enumerator::handle: replace incorrect delete by free

This change was missed in 562c5b135cc0835b2fd83844a8f47a1d1e9dd6ab
(lattice_point.cc: multi_monom/lattice_points: return malloc'd evalue(s)).
barvinok.cc