isl_convex_hull.c: remove unused swap_ineq
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 23 May 2011 17:28:14 +0000 (19:28 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 25 May 2011 12:09:00 +0000 (14:09 +0200)
Its last use was removed in 95e960e (isl_basic_map_convex_hull: use
tableau to detect redundant constraints, Fri Feb 27 22:20:21 2009 +0100).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_convex_hull.c

index 0bd82e6..b848ede 100644 (file)
 
 static struct isl_basic_set *uset_convex_hull_wrap_bounded(struct isl_set *set);
 
-static void swap_ineq(struct isl_basic_map *bmap, unsigned i, unsigned j)
-{
-       isl_int *t;
-
-       if (i != j) {
-               t = bmap->ineq[i];
-               bmap->ineq[i] = bmap->ineq[j];
-               bmap->ineq[j] = t;
-       }
-}
-
 /* Return 1 if constraint c is redundant with respect to the constraints
  * in bmap.  If c is a lower [upper] bound in some variable and bmap
  * does not have a lower [upper] bound in that variable, then c cannot