- 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");