interface/isl.py.top: explicitly cast self.ptr of Context to c_void_p
commitd2ff2d428889164b5eeaf3f8eb2f57be61ca0d60
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 4 May 2017 13:03:49 +0000 (4 15:03 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Thu, 4 May 2017 13:46:14 +0000 (4 15:46 +0200)
tree31fcf7deb0e0d63933a74299b05a42d78f9b8f1c
parent4c078da186b41339f7fa04603e50fca68389c89e
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