diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-05-23 14:28:29 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-05-23 14:28:29 -0500 |
| commit | b13d2f7921a65b8921ef37b38a2d4579f7c911a2 (patch) | |
| tree | df7e49fb4318fe58631ca4c4305125dd4fc32afe /src/theory/quantifiers_engine.cpp | |
| parent | c254649c8dadd9f0d94f09bf46b21f93b2c67c07 (diff) | |
Fix related to parametric sorts whose interpretation is finite due to uninterpreted sorts + FMF. Generalizes previous fix in term registration visitor.
Diffstat (limited to 'src/theory/quantifiers_engine.cpp')
0 files changed, 0 insertions, 0 deletions