From 4cce988906b3182cb87a28f94166c08663b74670 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 3 Jun 2010 18:34:04 +0200
Subject: [PATCH] isl_basic_set_lift: finalize result

---
 isl_map.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/isl_map.c b/isl_map.c
index 358e6564..b55ebe8a 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -6441,6 +6441,8 @@ __isl_give isl_basic_set *isl_basic_set_lift(__isl_take isl_basic_set *bset)
 	bset->dim = dim;
 	bset->n_div = 0;
 
+	bset = isl_basic_set_finalize(bset);
+
 	return bset;
 error:
 	isl_basic_set_free(bset);
-- 
2.11.4.GIT