diff options
Diffstat (limited to 'src/options')
| -rw-r--r-- | src/options/base_options | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/options/base_options b/src/options/base_options index f9eb64ef2..a6f24c7f3 100644 --- a/src/options/base_options +++ b/src/options/base_options @@ -114,9 +114,6 @@ option parseOnly parse-only --parse-only bool :read-write option preprocessOnly preprocess-only --preprocess-only bool exit after preprocessing input -option segvNoSpin --segv-nospin bool - don't spin on segfault waiting for gdb - option - trace -t --trace=TAG argument :handler CVC4::options::addTraceTag trace something (e.g. -t pushpop), can repeat option - debug -d --debug=TAG argument :handler CVC4::options::addDebugTag |