diff options
Diffstat (limited to 'src/options')
| -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 88842faf7..676e01484 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -634,15 +634,6 @@ header = "options/smt_options.h" read_only = true help = "amount of resources spent for each sat conflict (bitvectors)" -[[option]] - name = "rewriteApplyToConst" - category = "expert" - long = "rewrite-apply-to-const" - type = "bool" - default = "false" - read_only = true - help = "eliminate function applications, rewriting e.g. f(5) to a new symbol f_5" - # --replay is currently broken; don't document it for 1.0 [[option]] name = "replayInputFilename" |