diff options
Diffstat (limited to 'src/string/strtok.c')
| -rw-r--r-- | src/string/strtok.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/string/strtok.c b/src/string/strtok.c index 69b7fcc8..c46a9556 100644 --- a/src/string/strtok.c +++ b/src/string/strtok.c @@ -11,6 +11,7 @@ char * strtok(char * restrict s1, const char * restrict s2) /* TODO */ SIGNAL_SAFE(0); ASSERT_NONNULL(s2); + /* nothing is copied, overlap is OK */ /* RETURN(CONSTANT(NULL), there are no further tokens, only token separators); |