cleanup help text

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3864 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

Author: kroening

src/cbmc/cbmc_parseoptions.cpp

@@ -839,7 +839,6 @@ void cbmc_parseoptionst::help()
     " --show-parse-tree            show parse tree\n"
     " --show-symbol-table          show symbol table\n"
     " --show-goto-functions        show goto program\n"
-    " --ppc-macos                  set MACOS/PPC architecture\n"
     " --mm model                   set memory model (default: sc)\n"
     " --arch                       set architecture (default: "
                                    << configt::this_architecture() << ")\n"
@@ -875,7 +874,7 @@ void cbmc_parseoptionst::help()
     "\n"
     "BMC options:\n"
     " --function name              set main function name\n"
-    " --property nr                only check one specific property\n"
+    " --property id                only check one specific property\n"
     " --program-only               only show program expression\n"
     " --depth nr                   limit search depth\n"
     " --unwind nr                  unwind nr times\n"