Rename machine_(u)int_t to mp_(u)int_t.

See discussion in issue #50.

1 files changed, 2 insertions, 2 deletions

diff --git a/stmhal/mpconfigport.h b/stmhal/mpconfigport.h
index 28e654c8a..00afa989c 100644
--- a/stmhal/mpconfigport.h
+++ b/stmhal/mpconfigport.h
@@ -84,8 +84,8 @@ extern const struct _mp_obj_module_t time_module;
 #define UINT_FMT "%u"
 #define INT_FMT "%d"
 
-typedef int machine_int_t; // must be pointer size
-typedef unsigned int machine_uint_t; // must be pointer size
+typedef int mp_int_t; // must be pointer size
+typedef unsigned int 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