temporarily make isl_val_int_from_isl_int available

[platform/upstream/isl.git] / isl_factorization.h

diff --git a/isl_factorization.h b/isl_factorization.h
index f0d3518..4687b9c 100644 (file)
--- a/isl_factorization.h
+++ b/isl_factorization.h
@@ -22,7 +22,7 @@ __isl_give isl_factorizer *isl_basic_set_factorizer(
        __isl_keep isl_basic_set *bset);
 
 void isl_factorizer_free(__isl_take isl_factorizer *f);
-void isl_factorizer_dump(__isl_take isl_factorizer *f, FILE *out);
+void isl_factorizer_dump(__isl_take isl_factorizer *f);
 
 #if defined(__cplusplus)
 }