Use `z' modifier to printf size_t.

[pintos-anon] / src / devices / disk.c

diff --git a/src/devices/disk.c b/src/devices/disk.c
index 234d5a952d3a03b27295b9c6bcb62a11d0b238e4..5867caa19c2d599fa76d3f3bb4d217c67da596e5 100644 (file)
--- 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: