diff options
Diffstat (limited to 'src/main/usage.h')
| -rw-r--r-- | src/main/usage.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/usage.h b/src/main/usage.h index 79b906d88..9a8175e2a 100644 --- a/src/main/usage.h +++ b/src/main/usage.h @@ -37,6 +37,7 @@ CVC4 options:\n\ --stats give statistics on exit\n\ --segv-nospin (debug builds only) don't spin on segfault waiting for gdb\n\ --parse-only exit after parsing input\n\ + --show-config show CVC4 static configuration\n\ "; }/* CVC4::main namespace */ |