remove -f, add -g from display_help

leanprover · Oct 13, 2024 · 0de8dc1 · 0de8dc1
1 parent 0682080
commit 0de8dc1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/util/shell.cpp b/src/util/shell.cpp
@@ -192,9 +192,9 @@ static void display_help(std::ostream & out) {
     display_header(out);
     std::cout << "Miscellaneous:\n";
     std::cout << "  -h, --help             display this message\n";
-    std::cout << "  -f, --features         display features compiler provides (eg. LLVM support)\n";
+    std::cout << "      --features         display features compiler provides (eg. LLVM support)\n";
     std::cout << "  -v, --version          display version number\n";
-    std::cout << "      --githash          display the git commit hash number used to build this binary\n";
+    std::cout << "  -g, --githash          display the git commit hash number used to build this binary\n";
     std::cout << "      --run              call the 'main' definition in a file with the remaining arguments\n";
     std::cout << "  -o, --o=oname          create olean file\n";
     std::cout << "  -i, --i=iname          create ilean file\n";