diff options
Diffstat (limited to 'src/options/smt_options.toml')
| -rw-r--r-- | src/options/smt_options.toml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml index 95cc79a0d..19862cab2 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -255,19 +255,10 @@ name = "SMT Layer" help = "support the get-assignment command" [[option]] - name = "interactiveMode" - long = "interactive-mode" - category = "undocumented" - type = "bool" - predicates = ["setProduceAssertions"] - help = "deprecated name for produce-assertions" - -[[option]] name = "produceAssertions" category = "common" long = "produce-assertions" type = "bool" - predicates = ["setProduceAssertions"] help = "keep an assertions list (enables get-assertions command)" [[option]] |