diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-09-16 17:18:05 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-16 17:18:05 -0500 |
commit | 54abd196cb43422c77a74cb139f3aaebaa695639 (patch) | |
tree | 2a65e959b8d17d06fc953320ae15575133b95d17 /src/options/quantifiers_options.toml | |
parent | 9c4d548af9a14c18a6d69b41bba3e36054d37c0c (diff) |
Remove equality inference option for quantifiers (#3282)
Diffstat (limited to 'src/options/quantifiers_options.toml')
-rw-r--r-- | src/options/quantifiers_options.toml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/options/quantifiers_options.toml b/src/options/quantifiers_options.toml index 4398711b7..89ccd90b2 100644 --- a/src/options/quantifiers_options.toml +++ b/src/options/quantifiers_options.toml @@ -216,15 +216,6 @@ header = "options/quantifiers_options.h" help = "consider ground terms within bodies of quantified formulas for matching" [[option]] - name = "inferArithTriggerEq" - category = "regular" - long = "infer-arith-trigger-eq" - type = "bool" - default = "false" - read_only = true - help = "infer equalities for trigger terms based on solving arithmetic equalities" - -[[option]] name = "strictTriggers" category = "regular" long = "strict-triggers" |