diff options
author | Damien George <damien.p.george@gmail.com> | 2014-10-03 17:44:14 +0000 |
---|---|---|
committer | Damien George <damien.p.george@gmail.com> | 2014-10-03 17:44:14 +0000 |
commit | 42f3de924bc3e285490f5f293955bc6d7e5a0edf (patch) | |
tree | c33a59825957ca5561bb7bb5038575ff052d5245 /py/repl.c | |
parent | 877dba3e1a76d151c0d93c88bcfaac62ecfe3799 (diff) |
py: Convert [u]int to mp_[u]int_t where appropriate.
Addressing issue #50.
Diffstat (limited to 'py/repl.c')
-rw-r--r-- | py/repl.c | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -31,7 +31,7 @@ #if MICROPY_HELPER_REPL bool str_startswith_word(const char *str, const char *head) { - int i; + mp_uint_t i; for (i = 0; str[i] && head[i]; i++) { if (str[i] != head[i]) { return false; |