X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Flib%2Fstring.c;fp=src%2Flib%2Fstring.c;h=cb042f02242d02a2090f6566016fb45f67c0df21;hb=a12e4a2ae8213537508f41088acc59b019ea672c;hp=bec4444670b025768485cb143edb0329de3cb60c;hpb=af42b7cc9c85b36ae0fa5da75e4dab80ac236059;p=pintos-anon

diff --git a/src/lib/string.c b/src/lib/string.c
index bec4444..cb042f0 100644
--- a/src/lib/string.c
+++ b/src/lib/string.c
@@ -212,7 +212,9 @@ strstr (const char *haystack, const char *needle)
    single string.
 
    strtok_r() modifies the string S, changing delimiters to null
-   bytes.  Thus, S must be a modifiable string.
+   bytes.  Thus, S must be a modifiable string.  String literals,
+   in particular, are *not* modifiable in C, even though for
+   backward compatibility they are not `const'.
 
    Example usage: