1 files changed, 8 insertions, 0 deletions
diff --git a/polly/lib/External/isl/bset_from_bmap.c b/polly/lib/External/isl/bset_from_bmap.c
new file mode 100644
index 00000000000..958508031d9
--- /dev/null
+++ b/polly/lib/External/isl/bset_from_bmap.c
@@ -0,0 +1,8 @@
+#include <isl/map_type.h>
+
+/* Return the basic set that was treated as the basic map "bmap".
+ */
+static __isl_give isl_basic_set *bset_from_bmap(__isl_take isl_basic_map *bmap)
+{
+	return (isl_basic_set *) bmap;
+}