scale.c: correct extract_lattice in case of redundant constraints
commit114ab20ec99c85c4ebb189afafb01a9325c7a9c3
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 30 Mar 2007 22:09:23 +0000 (31 00:09 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 30 Mar 2007 22:19:16 +0000 (31 00:19 +0200)
tree942959a937cc43fec3fe01a824327c836dc2d7e7
parentad27175cf37a5d34cf0ec0a17d1abcdc296d56c0
scale.c: correct extract_lattice in case of redundant constraints

We actually anticipated this situation, but it was handled incorrectly.
scale.c