evalue_isl.c: isl_pw_qpolynomial_from_eval: use isl_val
authorSven Verdoolaege <skimo@kotnet.org>
Thu, 18 Apr 2013 09:57:52 +0000 (18 11:57 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 31 May 2013 08:53:21 +0000 (31 10:53 +0200)
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
evalue_isl.c

index bc08a4a..8d04cf6 100644 (file)
@@ -235,8 +235,10 @@ __isl_give isl_pw_qpolynomial *isl_pw_qpolynomial_from_evalue(__isl_take isl_spa
        }
 
        if (value_notzero_p(e->d)) {
+               isl_ctx *ctx = isl_space_get_ctx(dim);
                isl_set *set = isl_set_universe(isl_space_copy(dim));
-               isl_qpolynomial *qp = isl_qpolynomial_rat_cst_on_domain(dim, e->x.n, e->d);
+               isl_val *val = isl_val_from_gmp(ctx, e->x.n, e->d);
+               isl_qpolynomial *qp = isl_qpolynomial_val_on_domain(dim, val);
                return isl_pw_qpolynomial_alloc(set, qp);
        }