diff options
author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2015-12-08 02:23:58 +0200 |
---|---|---|
committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2015-12-08 02:23:58 +0200 |
commit | 946f870e3c1a9537bd09036d2d3a655275f23d5a (patch) | |
tree | 26d19dd2973dc1d42abc07f5739d938222f23946 /py | |
parent | 3a309d93b122e1042e56e0643872f31ee0ac0c3c (diff) |
py/misc.h: Include stdint.h only once (unconditionally at the top).
Diffstat (limited to 'py')
-rw-r--r-- | py/misc.h | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -107,7 +107,6 @@ size_t m_get_peak_bytes_allocated(void); /** unichar / UTF-8 *********************************************/ #if MICROPY_PY_BUILTINS_STR_UNICODE -#include <stdint.h> // only include if we need it // with unicode enabled we need a type which can fit chars up to 0x10ffff typedef uint32_t unichar; #else |