X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=src%2Fexamples%2Finsult.c;h=80acc6e74c7ddbbc143f9238739b13823daa7f9a;hb=c0206643b024b6f0e6cde1cbb5e7d37abbc84c69;hp=442a3ec353766f49caa04b4e87940399799f3801;hpb=3cd7e2f105756543b68f937f327131c7bbaaa88e;p=pintos-anon

diff --git a/src/examples/insult.c b/src/examples/insult.c
index 442a3ec..80acc6e 100644
--- a/src/examples/insult.c
+++ b/src/examples/insult.c
@@ -263,7 +263,7 @@ usage (int ret_code, const char *message, ...)
           "  -h:               this help message\n"
           "  -s <integer>:     set the random seed (default 4951)\n"
           "  -n <integer>:     choose number of insults (default 4)\n"
-          "  -f <filename>:    redirect output to a File.\n");
+          "  -f <file>:        redirect output to <file>\n");
 
   exit (ret_code);
 }