From 0df002957d2b8dd90fe704c9f7f005a44d7283c5 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 4 Nov 2015 13:24:47 +0100
Subject: [PATCH] isl_tab_pip.c: basic_map_partial_lexopt_pma: use
 isl_basic_map_get_ctx

This reduces the dependence on the internal representation.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
---
 isl_tab_lexopt_templ.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/isl_tab_lexopt_templ.c b/isl_tab_lexopt_templ.c
index 45eba106..067a97ee 100644
--- a/isl_tab_lexopt_templ.c
+++ b/isl_tab_lexopt_templ.c
@@ -152,11 +152,13 @@ static __isl_give TYPE *SF(basic_map_partial_lexopt,SUFFIX)(
 {
 	isl_bool par = isl_bool_false;
 	int first, second;
+	isl_ctx *ctx;
 
 	if (!bmap)
 		goto error;
 
-	if (bmap->ctx->opt->pip_symmetry)
+	ctx = isl_basic_map_get_ctx(bmap);
+	if (ctx->opt->pip_symmetry)
 		par = parallel_constraints(bmap, &first, &second);
 	if (par < 0)
 		goto error;
-- 
2.11.4.GIT