change prototype of isl_tab_dump

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/isl_tab.c b/isl_tab.c
index 28af80e..532c18e 100644 (file)
--- a/isl_tab.c
+++ b/isl_tab.c
@@ -3250,7 +3250,8 @@ __isl_keep isl_basic_set *isl_tab_peek_bset(struct isl_tab *tab)
        return (isl_basic_set *)tab->bmap;
 }
 
-void isl_tab_dump(struct isl_tab *tab, FILE *out, int indent)
+static void isl_tab_print_internal(__isl_keep struct isl_tab *tab,
+       FILE *out, int indent)
 {
        unsigned r, c;
        int i;
@@ -3325,3 +3326,8 @@ void isl_tab_dump(struct isl_tab *tab, FILE *out, int indent)
        if (tab->bmap)
                isl_basic_map_print_internal(tab->bmap, out, indent);
 }
+
+void isl_tab_dump(__isl_keep struct isl_tab *tab)
+{
+       isl_tab_print_internal(tab, stderr, 0);
+}

diff --git a/isl_tab.h b/isl_tab.h
index 51a0afc..7d7d0a7 100644 (file)
--- a/isl_tab.h
+++ b/isl_tab.h
@@ -224,7 +224,7 @@ int isl_tab_rollback(struct isl_tab *tab, struct isl_tab_undo *snap) WARN_UNUSED
 struct isl_tab *isl_tab_relax(struct isl_tab *tab, int con) WARN_UNUSED;
 int isl_tab_select_facet(struct isl_tab *tab, int con) WARN_UNUSED;
 
-void isl_tab_dump(struct isl_tab *tab, FILE *out, int indent);
+void isl_tab_dump(__isl_keep struct isl_tab *tab);
 
 struct isl_map *isl_tab_basic_map_partial_lexopt(
                struct isl_basic_map *bmap, struct isl_basic_set *dom,