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