fix type issues in stdint.h so underlying types of 64-bit types match ABI
[musl] / src / string / strtok.c
index 1ba221c..3508790 100644 (file)
@@ -1,6 +1,6 @@
 #include <string.h>
 
-char *strtok(char *s, const char *sep)
+char *strtok(char *restrict s, const char *restrict sep)
 {
        static char *p;
        if (!s && !(s = p)) return NULL;