X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fstdio.c;h=af80e51e527efc00897eae04ca6fe6642fd89d1b;hb=7e6a3b090ec08077b399dab89437073b144c69d8;hp=e09401a61028cee158e588c4b12bc3c5d3fe5aea;hpb=4aef5aa2e21ef46c7fcfe03f81b8dd8c60c64286;p=pintos-anon

diff --git a/src/lib/stdio.c b/src/lib/stdio.c
index e09401a..af80e51 100644
--- a/src/lib/stdio.c
+++ b/src/lib/stdio.c
@@ -515,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)