isl_convex_hull.c: modulo_affine_hull: drop redundant argument

[platform/upstream/isl.git] / pip.c

diff --git a/pip.c b/pip.c
index 5b50e8a..5a7f274 100644 (file)
--- a/pip.c
+++ b/pip.c
@@ -313,7 +313,7 @@ int main(int argc, char **argv)
 
        options = pip_options_new_with_defaults();
        assert(options);
-       argc = pip_options_parse(options, argc, argv);
+       argc = pip_options_parse(options, argc, argv, ISL_ARG_ALL);
 
        ctx = isl_ctx_alloc_with_options(options->isl);
        options->isl = NULL;
@@ -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);