diff options
Diffstat (limited to 'src/main/main.cpp')
| -rw-r--r-- | src/main/main.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/main/main.cpp b/src/main/main.cpp index e3196bb4e..9fa1db7bc 100644 --- a/src/main/main.cpp +++ b/src/main/main.cpp @@ -59,8 +59,9 @@ int main(int argc, char* argv[]) { #ifdef CVC4_COMPETITION_MODE *opts[options::out] << "unknown" << endl; #endif - cerr << "CVC4 Error:" << endl << e << endl; - printUsage(opts); + cerr << "CVC4 Error:" << endl << e << endl << endl + << "Please use --help to get help on command-line options." + << endl; } catch(Exception& e) { #ifdef CVC4_COMPETITION_MODE *opts[options::out] << "unknown" << endl; |