[python] Fix bug in mpconfigport

Change-Id: If020d660f9ac67a94731cf1f77986697826ae624
This commit is contained in:
Émilie Feral
2017-08-08 17:06:37 +02:00
parent ea52e627af
commit 66275c29ab

View File

@@ -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;