%zd -> %zu
[pintos-anon] / src / devices / disk.c
index a3f26cfd8a4a2d5d7ade593e07db6d2c73111af7..206f69c91feceed3f6a5eef2776f1c8e34a8521b 100644 (file)
@@ -109,7 +109,7 @@ disk_init (void)
       int dev_no;
 
       /* Initialize channel. */
-      snprintf (c->name, sizeof c->name, "hd%zd", chan_no);
+      snprintf (c->name, sizeof c->name, "hd%zu", chan_no);
       switch (chan_no) 
         {
         case 0: