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/options/options.i | |
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/options/options.i')
0 files changed, 0 insertions, 0 deletions