From df09fa296fa2dadb69551d35b408ad43c19dab2a Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Date: Thu, 4 May 2017 15:45:14 +0200
Subject: [PATCH] interface/isl.py.top: explicitly cast self.ptr of Context to
 c_void_p

Without the cast, the pointer is treated as an integer and may get truncated.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
---
 interface/isl.py.top | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/interface/isl.py.top b/interface/isl.py.top
index 928ac24..ae691f4 100644
--- a/interface/isl.py.top
+++ b/interface/isl.py.top
@@ -17,7 +17,7 @@ class Context:
         isl.isl_ctx_free(self)
 
     def from_param(self):
-        return self.ptr
+        return c_void_p(self.ptr)
 
     @staticmethod
     def getDefaultInstance():
-- 
2.11.4.GIT