Linux user updates for more recent distros (Ubuntu 14.04 as target)

[palacios.git] / linux_usr / v3_simulate.c

diff --git a/linux_usr/v3_simulate.c b/linux_usr/v3_simulate.c
index 79f3f23..a9410b3 100644 (file)
--- a/linux_usr/v3_simulate.c
+++ b/linux_usr/v3_simulate.c
@@ -27,7 +27,7 @@ int main(int argc, char* argv[]) {
        return -1;
     }
 
-    printf("Simulating VM for %lu msecs\n", msecs);
+    printf("Simulating VM for %u msecs\n", msecs);
     
     vm_fd = open(filename, O_RDONLY);