Consistently spell "file name" and "file system" as two words.

[pintos-anon] / src / examples / insult.c

diff --git a/src/examples/insult.c b/src/examples/insult.c
index 442a3ec353766f49caa04b4e87940399799f3801..80acc6e74c7ddbbc143f9238739b13823daa7f9a 100644 (file)
--- 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);
 }