diff options
Diffstat (limited to 'unix/main.c')
| -rw-r--r-- | unix/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unix/main.c b/unix/main.c index 898182fa92..78454dd73c 100644 --- a/unix/main.c +++ b/unix/main.c @@ -293,7 +293,7 @@ int main(int argc, char **argv) { if (path == NULL) { path = "~/.micropython/lib:/usr/lib/micropython"; } - uint path_num = 1; // [0] is for current dir (or base dir of the script) + mp_uint_t path_num = 1; // [0] is for current dir (or base dir of the script) for (char *p = path; p != NULL; p = strchr(p, PATHLIST_SEP_CHAR)) { path_num++; if (p != NULL) { |