diff options
Diffstat (limited to 'src/options/smt_options.toml')
| -rw-r--r-- | src/options/smt_options.toml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/options/smt_options.toml b/src/options/smt_options.toml index c813e1900..a0e3014b0 100644 --- a/src/options/smt_options.toml +++ b/src/options/smt_options.toml @@ -46,12 +46,6 @@ header = "options/smt_options.h" name = "batch" help = "Save up all ASSERTions; run nonclausal simplification and clausal (MiniSat) propagation for all of them only after reaching a querying command (CHECKSAT or QUERY or predicate SUBTYPE declaration)." -[[alias]] - category = "regular" - long = "no-simplification" - links = ["--simplification=none"] - help = "turn off all simplification (same as --simplification=none)" - [[option]] name = "doStaticLearning" category = "regular" |