isl_printer_print_basic_{set,map}: add closing "}"
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 2 Apr 2010 09:03:50 +0000 (11:03 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 2 Apr 2010 09:03:50 +0000 (11:03 +0200)
They were removed by accident in commit 5aef299 (add isl_printer).

isl_output.c

index 35d2b99..94d5f35 100644 (file)
@@ -482,6 +482,7 @@ static __isl_give isl_printer *isl_basic_map_print_isl(
        p = print_tuple(bmap->dim, p, isl_dim_out, 0);
        p = isl_printer_print_str(p, " : ");
        p = print_disjunct(bmap, bmap->dim, p, 0);
+       p = isl_printer_print_str(p, " }");
        p = isl_printer_end_line(p);
        return p;
 }
@@ -500,6 +501,7 @@ static __isl_give isl_printer *isl_basic_set_print_isl(
        p = print_tuple(bset->dim, p, isl_dim_set, 1);
        p = isl_printer_print_str(p, " : ");
        p = print_disjunct((isl_basic_map *)bset, bset->dim, p, 1);
+       p = isl_printer_print_str(p, " }");
        p = isl_printer_end_line(p);
        return p;
 }