From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 18 Apr 2013 09:52:39 +0000 (+0200)
Subject: evalue_isl.c: isl_qpolynomial_from_evalue: use isl_val
X-Git-Tag: barvinok-0.37~34
X-Git-Url: https://repo.or.cz/w/barvinok.git/commitdiff_plain/f2ae51a093e627e4daa633395bdd0c12b02076b8

evalue_isl.c: isl_qpolynomial_from_evalue: use isl_val

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

diff --git a/evalue_isl.c b/evalue_isl.c
index 2689437..bc08a4a 100644
--- a/evalue_isl.c
+++ b/evalue_isl.c
@@ -92,8 +92,11 @@ __isl_give isl_qpolynomial *isl_qpolynomial_from_evalue(__isl_take isl_space *di
 
 	if (EVALUE_IS_NAN(*e))
 		return isl_qpolynomial_infty_on_domain(dim);
-	if (value_notzero_p(e->d))
-		return isl_qpolynomial_rat_cst_on_domain(dim, e->x.n, e->d);
+	if (value_notzero_p(e->d)) {
+		isl_ctx *ctx = isl_space_get_ctx(dim);
+		isl_val *val = isl_val_from_gmp(ctx, e->x.n, e->d);
+		return isl_qpolynomial_val_on_domain(dim, val);
+	}
 
 	offset = type_offset(e->x.p);