diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-08-20 19:22:21 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-20 19:22:21 -0500 |
commit | 03abb94451a8bc2fb59b5b2fc95c931715575dc0 (patch) | |
tree | 350839369fa22e97b5497abf76bfad339c706030 /src/options/quantifiers_options.toml | |
parent | bf863b1f3cee791585e2c04e5f40afcadcdf113c (diff) |
More unused code elimination (#2339)
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 5f6638dce..6e1c7f6b6 100644 --- a/src/options/quantifiers_options.toml +++ b/src/options/quantifiers_options.toml @@ -225,15 +225,6 @@ header = "options/quantifiers_options.h" help = "infer equalities for trigger terms based on solving arithmetic equalities" [[option]] - name = "inferArithTriggerEqExp" - category = "regular" - long = "infer-arith-trigger-eq-exp" - type = "bool" - default = "false" - read_only = true - help = "record explanations for inferArithTriggerEq" - -[[option]] name = "strictTriggers" category = "regular" long = "strict-triggers" |