Polyhedron_Factor: fix updating of groups
commitd95623f41734fbe68144772033f9ce98ddd541d8
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 11 Nov 2009 15:02:05 +0000 (11 16:02 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 11 Nov 2009 16:49:29 +0000 (11 17:49 +0100)
tree2b87d73b50b2e8b49bf52bba81c39283b8780914
parent31c2b6fc373f8f9375e4d25fc89bb02a22ff9bf0
Polyhedron_Factor: fix updating of groups

Before, we would only update the group of the new column.
Now, we also update the group of the old column.

Problem reported by Michael Classen <michael.classen@uni-passau.de>
tests/ehrhart/classen [new file with mode: 0644]
util.c