diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-03 13:07:56 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-03 13:07:56 -0500 |
commit | badc9cb00c9086b9303fab1b494e9c5eb88265ec (patch) | |
tree | e9fc7debfae6c52eeae593b4b85653670e56a7b4 /src/theory/quantifiers/theory_quantifiers.cpp | |
parent | d91b52085d7e3bbda65117c0cd88433aed383aff (diff) |
Only rewrite lambdas via array representations when constant (#4203)
Fixes #4170.
Diffstat (limited to 'src/theory/quantifiers/theory_quantifiers.cpp')
0 files changed, 0 insertions, 0 deletions