From c3bd12664cf7d91ba58e6edcaa428869597ebcfe Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 26 Aug 2010 16:35:49 +0200
Subject: [PATCH] update isl for aligning parameters of union arguments to
 binary functions

---
 isl       | 2 +-
 summate.c | 5 +++++
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/isl b/isl
index 5ca1691..c1dbabe 160000
--- a/isl
+++ b/isl
@@ -1 +1 @@
-Subproject commit 5ca16913b7db2bb9302c3266fcd334f44634d90e
+Subproject commit c1dbabe09b2ea06c17f5dbbcb615d0ab5a3143d0
diff --git a/summate.c b/summate.c
index d51a961..7e5023a 100644
--- a/summate.c
+++ b/summate.c
@@ -1024,6 +1024,11 @@ __isl_give isl_union_pw_qpolynomial *isl_union_map_apply_union_pw_qpolynomial(
 	isl_dim *dim;
 	struct barvinok_apply_data data;
 
+	upwqp = isl_union_pw_qpolynomial_align_params(upwqp,
+				isl_union_map_get_dim(umap));
+	umap = isl_union_map_align_params(umap,
+				isl_union_pw_qpolynomial_get_dim(upwqp));
+
 	data.upwqp = upwqp;
 	dim = isl_union_pw_qpolynomial_get_dim(upwqp);
 	data.res = isl_union_pw_qpolynomial_zero(dim);
-- 
2.11.4.GIT