barvinok.cc: remove_more_equalities: handle equalities only involving params
commitf0d3ccea2a466f6ec2128a0c8d32a0e37960e42a
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 10 Aug 2006 11:22:37 +0000 (10 13:22 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 10 Aug 2006 11:22:37 +0000 (10 13:22 +0200)
tree335e774457be8b2aa33aa6f61c5946e72ce46501
parent6a1de3b077f2a9b4131f8af3c7be07564e2c87f4
barvinok.cc: remove_more_equalities: handle equalities only involving params
barvinok.cc