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 3fae67c..4687b9c 100644 (file)
--- a/isl_factorization.h
+++ b/isl_factorization.h
@@ -1,4 +1,4 @@
-#include <isl_set.h>
+#include <isl/set.h>
 #include <isl_morph.h>
 
 #if defined(__cplusplus)
@@ -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)
 }