X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fstdio.c;h=bae257feb73da6bc4e64806feaaeca2488cbd76f;hb=2eda07105e94747981c8b813dee62e512b496460;hp=4b0ba1967f2698bbce124fd4cad9bfb3ac17ff95;hpb=0a3f03e7263af12e86ec531d7b9dd993395ae31b;p=pintos-anon

diff --git a/src/lib/stdio.c b/src/lib/stdio.c
index 4b0ba19..bae257f 100644
--- a/src/lib/stdio.c
+++ b/src/lib/stdio.c
@@ -492,8 +492,6 @@ format_integer (uintmax_t value, bool negative, const struct integer_base *b,
      If requested precision is 0, then a value of zero is
      rendered as a null string, otherwise as "0". */
   precision = c->precision < 0 ? 1 : c->precision;
-  if (precision < 0)
-    precision = 1;
   while (cp - buf < precision && cp - buf < (int) sizeof buf - 8)
     *cp++ = '0';