diff options
Diffstat (limited to 'src/main/usage.h')
| -rw-r--r-- | src/main/usage.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/usage.h b/src/main/usage.h index f6c089f1d..6927f0f2f 100644 --- a/src/main/usage.h +++ b/src/main/usage.h @@ -27,8 +27,7 @@ usage: %s [options] [input-file]\n\ Without an input file, or with `-', CVC4 reads from standard input.\n\ \n\ CVC4 options:\n\ - --lang | -L set input language (--lang help gives a list;\n\ - `auto' is default)\n\ + --lang | -L force input language (default is `auto'; see --lang help)\n\ --version | -V identify this CVC4 binary\n\ --help | -h this command line reference\n\ --verbose | -v increase verbosity (repeatable)\n\ @@ -36,6 +35,7 @@ CVC4 options:\n\ --debug | -d debugging for something (e.g. --debug arith)\n\ --smtcomp competition mode (very quiet)\n\ --stats give statistics on exit\n\ + --segv-nospin (debug builds only) don't spin on segfault waiting for gdb\n\ "; }/* CVC4::main namespace */ |