barvinok_enumerate_e: clean up allocation of options
commit6188e08ebac929ffd425b41e86d4d135add694ff
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 7 Mar 2007 14:33:20 +0000 (7 15:33 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 7 Mar 2007 14:33:20 +0000 (7 15:33 +0100)
treef3dfa73ed932bd6a1a4d2113348a9385bc31f8d3
parent6b9d1c4f422063fa0c1ae67d7ce39a623308ba68
barvinok_enumerate_e: clean up allocation of options
barvinok_enumerate_e.cc