From 66275c29ab9bfe54503d9bfa563d0c81c339dd78 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=89milie=20Feral?= Date: Tue, 8 Aug 2017 17:06:37 +0200 Subject: [PATCH] [python] Fix bug in mpconfigport Change-Id: If020d660f9ac67a94731cf1f77986697826ae624 --- python/port/mpconfigport.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/python/port/mpconfigport.h b/python/port/mpconfigport.h index b1be2dc92..e96b81a41 100644 --- a/python/port/mpconfigport.h +++ b/python/port/mpconfigport.h @@ -65,8 +65,8 @@ // to print such value. So, we avoid int32_t and use int directly. #define UINT_FMT "%u" #define INT_FMT "%d" -typedef int mp_int_t; // must be pointer size -typedef unsigned mp_uint_t; // must be pointer size +typedef intptr_t mp_int_t; // must be pointer size +typedef uintptr_t mp_uint_t; // must be pointer size typedef long mp_off_t;