isl_basic_map_solve_lp: use denominator

Before, the denominator would simply be ignored and denominator one
was used instead.

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

diff --git a/isl_lp.c b/isl_lp.c
index 31fd4c7..932affc 100644 (file)
--- a/isl_lp.c
+++ b/isl_lp.c
@@ -28,7 +28,7 @@ enum isl_lp_result isl_tab_solve_lp(struct isl_basic_map *bmap, int maximize,
 
        bmap = isl_basic_map_gauss(bmap, NULL);
        tab = isl_tab_from_basic_map(bmap);
-       res = isl_tab_min(tab, f, bmap->ctx->one, opt, opt_denom, 0);
+       res = isl_tab_min(tab, f, denom, opt, opt_denom, 0);
        if (res == isl_lp_ok && sol) {
                *sol = isl_tab_get_sample_value(tab);
                if (!*sol)