remove_parameter_equalities: stop "removing" equalities if polyhedron is empty
commit3f83a9aedb7f198c5dbd1d6107ae23a3fc357c98
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 15 Jan 2008 12:40:20 +0000 (15 13:40 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 16 Jan 2008 18:50:20 +0000 (16 19:50 +0100)
tree51992d5fb366338fb00b73d542a18ad13920cbf0
parentf0e6414cbbccaf2d30981a34d77f36bfa6c145b5
remove_parameter_equalities: stop "removing" equalities if polyhedron is empty
remove_equalities.c