X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_free.c;h=c7393d1ea82ac000e29384bc206c56d4b65cb497;hb=68f8c4cd303c5da40c1083cbabdaf6395e4dbaa1;hp=12992691040dce12e9c89db8c0879a956366d9ff;hpb=ccbe7e2ab17a32e671114f258abc1d047151be2e;p=palacios.git

diff --git a/linux_usr/v3_free.c b/linux_usr/v3_free.c
index 1299269..c7393d1 100644
--- a/linux_usr/v3_free.c
+++ b/linux_usr/v3_free.c
@@ -23,10 +23,10 @@ int main(int argc, char* argv[]) {
 
     vm_idx = strtol(idx, NULL, 0);
 
-    printf("Freeing VM %d\n", vm_idx);
+    printf("Freeing VM %lu\n", vm_idx);
     
     if (v3_dev_ioctl(V3_FREE_GUEST, (void*)vm_idx) < 0) {
-        fprintf(stderr, "Error freeing VM %d (%s)\n", vm_idx,argv[1]);
+        fprintf(stderr, "Error freeing VM %lu (%s)\n", vm_idx,argv[1]);
         return -1;
     }