X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Fdisk.c;h=206f69c91feceed3f6a5eef2776f1c8e34a8521b;hb=a1f21ee888bd397c0d256ebd1db4caaf107f40ab;hp=a3f26cfd8a4a2d5d7ade593e07db6d2c73111af7;hpb=5a79832221ccad00c28efcce12a109c869e0917b;p=pintos-anon

diff --git a/src/devices/disk.c b/src/devices/disk.c
index a3f26cf..206f69c 100644
--- a/src/devices/disk.c
+++ b/src/devices/disk.c
@@ -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: