From 40f3c026823f8951a2fa04e9c7fc93c75bc27bec Mon Sep 17 00:00:00 2001 From: Damien George Date: Thu, 3 Jul 2014 13:25:24 +0100 Subject: Rename machine_(u)int_t to mp_(u)int_t. See discussion in issue #50. --- bare-arm/mpconfigport.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'bare-arm') diff --git a/bare-arm/mpconfigport.h b/bare-arm/mpconfigport.h index 859873548..bc427395b 100644 --- a/bare-arm/mpconfigport.h +++ b/bare-arm/mpconfigport.h @@ -37,8 +37,8 @@ #define UINT_FMT "%lu" #define INT_FMT "%ld" -typedef int32_t machine_int_t; // must be pointer size -typedef uint32_t machine_uint_t; // must be pointer size +typedef int32_t mp_int_t; // must be pointer size +typedef uint32_t mp_uint_t; // must be pointer size typedef void *machine_ptr_t; // must be of pointer size typedef const void *machine_const_ptr_t; // must be of pointer size -- cgit v1.2.3