isl_convex_hull.c: explicitly mark wrapping lp problem as rational
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 10 Feb 2011 13:01:27 +0000 (14:01 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 10 Feb 2011 20:04:36 +0000 (21:04 +0100)
commita8a6392a282d84862e354887dcee95273f291e8a
tree4e46dddeda505dfac9ef2abab28351ad284c62e0
parent91bb370e892532ae7e7d29afaab4501506b0bd65
isl_convex_hull.c: explicitly mark wrapping lp problem as rational

This shouldn't have any effect at the moment, but in future we may
want to be more aggressive on non-rational tableau.

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