barvinok_count: clean up memory after simplifying constraints
commit1257189bb8c48785c3c2a268a1e8b2db092caf11
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 13 Aug 2006 07:28:19 +0000 (13 09:28 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 13 Aug 2006 07:28:19 +0000 (13 09:28 +0200)
treebc3eb2aa17c20a795cf6249e0a32a433c0207ac8
parente83f144b8079d4586d06b62b7445b99ab9edc8c2
barvinok_count: clean up memory after simplifying constraints

1db67d6704438c288723c4f9c660c5969d184f74 introduced a loop
removing equalities as long as constraint simplication
would expose them, but failed to free the memory of the
intermediate results.
barvinok.cc