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 1dc54198e5..5bcef6cfc8 100644 --- a/unix/main.c +++ b/unix/main.c @@ -502,7 +502,7 @@ int main(int argc, char **argv) { } else if (strcmp(argv[a], "-v") == 0) { mp_verbose_flag++; } else if (strncmp(argv[a], "-O", 2) == 0) { - if (isdigit(argv[a][2])) { + if (unichar_isdigit(argv[a][2])) { MP_STATE_VM(mp_optimise_value) = argv[a][2] & 0xf; } else { MP_STATE_VM(mp_optimise_value) = 0; |