X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Fdisk.c;h=5867caa19c2d599fa76d3f3bb4d217c67da596e5;hb=24445a35e861ddb50df05731ca4635fbd36e04a4;hp=234d5a952d3a03b27295b9c6bcb62a11d0b238e4;hpb=275c68384d654e4c1f9ac4a3eadd2c3d4e46cf86;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: