X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fstdio.c;fp=src%2Flib%2Fstdio.c;h=95dfdbe66273b8c8557813e0064b9f60b08afd0f;hb=404ff9b49909b1648cef613e66d2c54a345e72ad;hp=6a03f5388966260d375fc7c77b975986f9c0713e;hpb=a0470f561bcaa4de8ca4a85ceb5ebe58495bdeeb;p=pintos-anon

diff --git a/src/lib/stdio.c b/src/lib/stdio.c
index 6a03f53..95dfdbe 100644
--- a/src/lib/stdio.c
+++ b/src/lib/stdio.c
@@ -293,14 +293,11 @@ __vprintf (const char *format, va_list args,
         case 'p':
           {
             /* Pointer conversion.
-               Format non-null pointers as %#x. */
+               Format pointers as %#x. */
             void *p = va_arg (args, void *);
 
             c.flags = POUND;
-            if (p != NULL) 
-              format_integer ((uintptr_t) p, false, &base_x, &c, output, aux);
-            else
-              format_string ("(nil)", 5, &c, output, aux); 
+            format_integer ((uintptr_t) p, false, &base_x, &c, output, aux);
           }
           break;