Deallocation bug fix in device manager to allow backing out from VM creation failure

[palacios.git] / linux_usr / v3_core_move.c

diff --git a/linux_usr/v3_core_move.c b/linux_usr/v3_core_move.c
index 80e8847..eb35896 100644 (file)
--- a/linux_usr/v3_core_move.c
+++ b/linux_usr/v3_core_move.c
@@ -30,7 +30,7 @@ int main(int argc, char* argv[]) {
     cmd.vcore_id = atoi(argv[2]);
     cmd.pcore_id = atoi(argv[3]);
 
-    printf("Migrate vcore %d to physical CPU %d\n", cmd.vcore_id, cmd.pcore_id);
+    printf("Migrateing vcore %d to physical CPU %d\n", cmd.vcore_id, cmd.pcore_id);
 
     vm_fd = open(vm_dev, O_RDONLY);