diff --git a/main.cpp b/main.cpp index 9178d5aecd5c760a55dbf8bd9b206a0fb5021822..2fabef1ac7307ea49e8cf16a4a64d22641cbcec7 100644 --- a/main.cpp +++ b/main.cpp @@ -4,7 +4,7 @@ void perforate(osl_relation_p rel, int i) { int r = rel->nb_rows; - int c = rel->nb_columns-2; + int c = rel->nb_columns - rel->nb_parameters - 1; /* we want the new constraint to be left of 1 and global parameters */ osl_relation_insert_blank_row(rel, r); osl_relation_insert_blank_column(rel, c); @@ -12,9 +12,7 @@ perforate(osl_relation_p rel, int i) { auto row = rel->m[r]; osl_int_set_si(rel->precision, &row[c], 2); - osl_int_set_si(rel->precision, &row[1+i], -1); - - osl_relation_dump(stdout, rel); + osl_int_set_si(rel->precision, &row[1+i], -1); /* iterators come first, first column is e/i */ } int main(int argc, char *argv[]) { @@ -46,9 +44,6 @@ int main(int argc, char *argv[]) { return -1; } - osl_relation_dump(stdout, s->domain); - - std::cout << "nb_output_dims " << s->domain->nb_output_dims << " iterator " << iterator << "\n"; if(s->domain->nb_output_dims <= iterator) { std::cerr << "iterator not found\n"; return -1;