diff options
Diffstat (limited to 'src/main/getopt.cpp')
-rw-r--r-- | src/main/getopt.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/main/getopt.cpp b/src/main/getopt.cpp index 81cbc2df8..123bc3204 100644 --- a/src/main/getopt.cpp +++ b/src/main/getopt.cpp @@ -110,7 +110,8 @@ int parseOptions(int argc, char** argv, CVC4::Options* opts) throw(OptionExcepti } if(strcmp(optarg, "help")) { - throw OptionException(string("unknown language for --lang: `") + argv[optind] + "'. Try --lang help."); + throw OptionException(string("unknown language for --lang: `") + + optarg + "'. Try --lang help."); } fputs(lang_help, stdout); @@ -132,13 +133,13 @@ int parseOptions(int argc, char** argv, CVC4::Options* opts) throw(OptionExcepti break; case '?': - throw OptionException(string("can't understand option: `") + argv[optind] + "'"); + throw OptionException(string("can't understand option"));// + argv[optind - 1] + "'"); case ':': - throw OptionException(string("option `") + argv[optind] + "' missing its required argument"); + throw OptionException(string("option missing its required argument"));// + argv[optind - 1] + "' missing its required argument"); default: - throw OptionException(string("can't understand option: `") + argv[optind] + "'"); + throw OptionException(string("can't understand option"));//: `") + argv[optind - 1] + "'"); } } |