From a8a6392a282d84862e354887dcee95273f291e8a Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 10 Feb 2011 14:01:27 +0100 Subject: [PATCH] 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 --- isl_convex_hull.c | 1 + 1 file changed, 1 insertion(+) diff --git a/isl_convex_hull.c b/isl_convex_hull.c index 4e07acf7..a6442015 100644 --- a/isl_convex_hull.c +++ b/isl_convex_hull.c @@ -290,6 +290,7 @@ static struct isl_basic_set *wrap_constraints(struct isl_set *set) n_ineq += set->p[i]->n_ineq; } lp = isl_basic_set_alloc(set->ctx, 0, dim * set->n, 0, n_eq, n_ineq); + lp = isl_basic_set_set_rational(lp); if (!lp) return NULL; lp_dim = isl_basic_set_n_dim(lp); -- 2.11.4.GIT