diff options
Diffstat (limited to 'src/options/main_options.toml')
| -rw-r--r-- | src/options/main_options.toml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/options/main_options.toml b/src/options/main_options.toml index f373e9836..ccbe1a956 100644 --- a/src/options/main_options.toml +++ b/src/options/main_options.toml @@ -12,11 +12,6 @@ header = "options/main_options.h" alternate = false help = "identify this CVC4 binary" -[[alias]] - category = "undocumented" - long = "license" - links = ["--version"] - [[option]] name = "help" category = "common" @@ -103,11 +98,6 @@ header = "options/main_options.h" read_only = true help = "spin on segfault/other crash waiting for gdb" -[[alias]] - category = "undocumented" - long = "segv-nospin" - links = ["--no-segv-spin"] - [[option]] name = "tearDownIncremental" category = "expert" |