struct isl_vec *sample;
isl_printer *p;
- bset = isl_basic_set_read_from_file(ctx, stdin, 0);
+ bset = isl_basic_set_read_from_file(ctx, stdin);
sample = isl_basic_set_sample_vec(isl_basic_set_copy(bset));
p = isl_printer_to_file(ctx, stdout);
p = isl_printer_print_vec(p, sample);