From f882d53fcd4ba9775409c994cbf183770963b37e Mon Sep 17 00:00:00 2001
From: Paul Sokolovsky <pfalcon@users.sourceforge.net>
Date: Fri, 13 Nov 2015 01:54:38 +0200
Subject: [PATCH] unix/main: Use builtin unichar_isdigit() in preference if
 libc's.

Less dependencies.
---
 unix/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;