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

diff --git a/src/lib/stdio.c b/src/lib/stdio.c
index e74d5dd..af80e51 100644
--- a/src/lib/stdio.c
+++ b/src/lib/stdio.c
@@ -74,8 +74,7 @@ snprintf (char *buffer, size_t buf_size, const char *format, ...)
 /* Writes formatted output to the console.
    In the kernel, the console is both the video display and first
    serial port.
-   In userspace, the console is file descriptor 1.
-*/
+   In userspace, the console is file descriptor 1. */
 int
 printf (const char *format, ...) 
 {
@@ -464,7 +463,7 @@ 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 is done
+   unsigned conversion and ignores NEGATIVE.  The output is done
    according to the provided base B.  Details of the conversion
    are in C. */
 static void
@@ -516,7 +515,7 @@ format_integer (uintmax_t value, bool is_signed, bool negative,
   /* Append enough zeros to match precision.
      If requested precision is 0, then a value of zero is
      rendered as a null string, otherwise as "0".
-     If the # flag is used with base 0, the result must always
+     If the # flag is used with base 8, the result must always
      begin with a zero. */
   precision = c->precision < 0 ? 1 : c->precision;
   while (cp - buf < precision && cp < buf + sizeof buf - 1)