From 80e3ed2f429e81e467e664a805b44d1d1ae39b2b Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Date: Wed, 26 Sep 2018 22:54:02 +0200
Subject: [PATCH] isl_printer_print_point: properly handle points with
 dimensions of different types

Reported-by: Tobias Grosser <tobias.grosser@inf.ethz.ch>
Tested-by: Tobias Grosser <tobias.grosser@inf.ethz.ch>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
---
 isl_point.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/isl_point.c b/isl_point.c
index 4b3c157b..acbe74d8 100644
--- a/isl_point.c
+++ b/isl_point.c
@@ -651,6 +651,7 @@ static __isl_give isl_printer *print_coordinate(__isl_take isl_printer *p,
 {
 	isl_point *pnt = data->user;
 
+	pos += isl_space_offset(data->space, data->type);
 	p = isl_printer_print_isl_int(p, pnt->vec->el[1 + pos]);
 	if (!isl_int_is_one(pnt->vec->el[0])) {
 		p = isl_printer_print_str(p, "/");
-- 
2.11.4.GIT