X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_debug.c;h=e322d29775d6f60ada3f709573fa1844df280024;hb=8f7141b61d0c58befc5433a22d9af728fe3bb6f9;hp=b6096463cd8c56d4e7fa3fa29c41d48796ef6e2d;hpb=e784113618800cede961f9a86084a96d20179e1c;p=palacios.git

diff --git a/linux_usr/v3_debug.c b/linux_usr/v3_debug.c
index b609646..e322d29 100644
--- a/linux_usr/v3_debug.c
+++ b/linux_usr/v3_debug.c
@@ -22,7 +22,7 @@ int main(int argc, char* argv[]) {
     struct v3_debug_cmd cmd; 
 
     if (argc < 4) {
-	printf("Usage: v3_core_migrate <vm_device> <vm core> <cmd>\n");
+	printf("usage: v3_debug <vm_device> <vm core> <cmd>\n");
 	return -1;
     }