isl_basic_set_solve_ilp: fix handling of sets with equalities
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 21 Oct 2009 12:31:22 +0000 (14:31 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 21 Oct 2009 20:58:47 +0000 (22:58 +0200)
commit1515cee3a7f88b136511f2b97d6af3db8e38faad
tree9816284a16c93eb59f5ebe03e2120f71e4188ae3
parent0022cb82126c201a1a716ef0bdd89beaff0f292f
isl_basic_set_solve_ilp: fix handling of sets with equalities

First, the input set should be protected from being modified,
and second, the test for whether a solution is requested was wrong.
isl_ilp.c