From 0fcb7d0a57166c5e7dad3e337caeab498b01c447 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 15 Mar 2009 22:21:40 +0100
Subject: [PATCH] add isl_set_align_divs

---
 isl_map.c         | 5 +++++
 isl_map_private.h | 1 +
 2 files changed, 6 insertions(+)

diff --git a/isl_map.c b/isl_map.c
index c38d0bb4..4d3b5c5e 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -3620,6 +3620,11 @@ struct isl_map *isl_map_align_divs(struct isl_map *map)
 	return map;
 }
 
+struct isl_set *isl_set_align_divs(struct isl_set *set)
+{
+	return (struct isl_set *)isl_map_align_divs((struct isl_map *)set);
+}
+
 static struct isl_map *add_cut_constraint(struct isl_map *dst,
 		struct isl_basic_map *src, isl_int *c,
 		unsigned len, int oppose)
diff --git a/isl_map_private.h b/isl_map_private.h
index 8a51c11c..f1719f7e 100644
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -63,6 +63,7 @@ struct isl_basic_map *isl_basic_map_align_divs(
 struct isl_basic_set *isl_basic_set_align_divs(
 		struct isl_basic_set *dst, struct isl_basic_set *src);
 struct isl_map *isl_map_align_divs(struct isl_map *map);
+struct isl_set *isl_set_align_divs(struct isl_set *set);
 struct isl_basic_map *isl_basic_map_gauss(
 	struct isl_basic_map *bmap, int *progress);
 struct isl_basic_set *isl_basic_set_gauss(
-- 
2.11.4.GIT