X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fstdio.c;h=e74d5dd3c5b0bf5d6adb22d97699a5a099e9f69b;hb=a8e7532e684e4ea92a06d4eaf0d9ab714e4c2ad2;hp=29396589d61995fe1e3a1d299ef05a9ee7cb406f;hpb=a477e8092f5575f8518361066f6db0fd447b0c99;p=pintos-anon

diff --git a/src/lib/stdio.c b/src/lib/stdio.c
index 2939658..e74d5dd 100644
--- a/src/lib/stdio.c
+++ b/src/lib/stdio.c
@@ -464,9 +464,9 @@ parse_conversion (const char *format, struct printf_conversion *c,
    auxiliary data AUX.  The integer converted has absolute value
    VALUE.  If IS_SIGNED is true, does a signed conversion with
    NEGATIVE indicating a negative value; otherwise does an
-   unsigned conversion and ignores IS_SIGNED.  The output will
-   use the given DIGITS, with strlen(DIGITS) indicating the
-   output base.  Details of the conversion are in C. */
+   unsigned conversion and ignores IS_SIGNED.  The output is done
+   according to the provided base B.  Details of the conversion
+   are in C. */
 static void
 format_integer (uintmax_t value, bool is_signed, bool negative, 
                 const struct integer_base *b,