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=5867caa19c2d599fa76d3f3bb4d217c67da596e5;hb=62cc6ff58f8b07dea772f8acfdfd9600f9c71ff4;hp=234d5a952d3a03b27295b9c6bcb62a11d0b238e4;hpb=287d94b7afcfb6dd65fc6fde02e9a4dc6e099a16;p=pintos-anon

diff --git a/src/devices/disk.c b/src/devices/disk.c
index 234d5a9..5867caa 100644
--- a/src/devices/disk.c
+++ b/src/devices/disk.c
@@ -103,7 +103,7 @@ disk_init (void)
       int dev_no;
 
       /* Initialize channel. */
-      snprintf (c->name, sizeof c->name, "hd%d", chan_no);
+      snprintf (c->name, sizeof c->name, "hd%zd", chan_no);
       switch (chan_no) 
         {
         case 0: