fix a cut-n-paste error in the -h help

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 02e332f901df856e490f2efbab5f2420ac64b3a8..a41d0e8cbb8a978da29f282e5a3d694b367236ba 100644 (file)
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -183,8 +183,8 @@ int main(int argc, char **argv)
                printf("    -b backend\n");
                printf("        use this backend for the output file specified on the command line\n");
                printf("\n");
-               printf("    -f backend\n");
-               printf("        use the specified front for the input files on the command line\n");
+               printf("    -f frontend\n");
+               printf("        use the specified frontend for the input files on the command line\n");
                printf("\n");
                printf("    -H\n");
                printf("        print the command list\n");