X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Fdisk.c;fp=src%2Fdevices%2Fdisk.c;h=206f69c91feceed3f6a5eef2776f1c8e34a8521b;hb=3f5f7cb024e74d96e9175a0f9e59557148f9a0a4;hp=a3f26cfd8a4a2d5d7ade593e07db6d2c73111af7;hpb=e2c9945359a9fe72de7a6033370d52e55a26eb9f;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: