From f6a41ff521d127019ba1ee91be1877c2b86d0706 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 10 Apr 2013 12:22:27 +0200 Subject: [PATCH] sample.c: Polyhedron_Sample: use isl_val Signed-off-by: Sven Verdoolaege --- sample.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/sample.c b/sample.c index 3cf7c76..086add5 100644 --- a/sample.c +++ b/sample.c @@ -1,4 +1,5 @@ #include +#include #include #include @@ -17,17 +18,16 @@ Vector *Polyhedron_Sample(Polyhedron *P, struct barvinok_options *options) pnt = isl_basic_set_sample_point(bset); if (!isl_point_is_void(pnt)) { - isl_int v; + isl_val *v; - isl_int_init(v); sample = Vector_Alloc(1 + nvar); assert(sample); for (i = 0; i < nvar; ++i) { - isl_point_get_coordinate(pnt, isl_dim_set, i, &v); - isl_int_get_gmp(v, sample->p[i]); + v = isl_point_get_coordinate_val(pnt, isl_dim_set, i); + isl_val_get_num_gmp(v, sample->p[i]); + isl_val_free(v); } value_set_si(sample->p[nvar], 1); - isl_int_clear(v); } isl_point_free(pnt); -- 2.11.4.GIT