From 861b8741771c5ad9ba2b86f63d61603e7847dcab Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 10 Mar 2010 13:43:52 +0100 Subject: [PATCH] isl_pip: use isl_set_print instead of isl_set_dump to print results --- pip.c | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/pip.c b/pip.c index 5b50e8a9..af290c75 100644 --- a/pip.c +++ b/pip.c @@ -360,9 +360,11 @@ int main(int argc, char **argv) assert(!rational); check_solution(copy, context_copy, set, empty, max); } else { - isl_set_dump(set, stdout, 0); - fprintf(stdout, "no solution:\n"); - isl_set_dump(empty, stdout, 4); + isl_set_print(set, stdout, 0, ISL_FORMAT_ISL); + fprintf(stdout, "\n"); + fprintf(stdout, "no solution: "); + isl_set_print(empty, stdout, 0, ISL_FORMAT_ISL); + fprintf(stdout, "\n"); } isl_set_free(set); -- 2.11.4.GIT