X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=linux_usr%2Fv3_free.c;h=c9c7276ac2eb938565fd590c58b7fe0297ca8f76;hb=36973b53a5876a555eb59be0b0fb5f1f49686696;hp=8e3c41f33ebe380dd8c4e5d4e20a0ea11f66fb72;hpb=0b342d28c860e4b3911b529f5363d35faa86aa25;p=palacios.git

diff --git a/linux_usr/v3_free.c b/linux_usr/v3_free.c
index 8e3c41f..c9c7276 100644
--- a/linux_usr/v3_free.c
+++ b/linux_usr/v3_free.c
@@ -21,7 +21,7 @@ int main(int argc, char* argv[]) {
 
 
     if (argc <= 1) {
-	printf("Usage: ./v3_free <vm-dev-idx>\n");
+	printf("usage: v3_free <vm-dev-idx>\n");
 	return -1;
     }