diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-01-26 13:10:33 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-01-26 13:10:33 -0300 |
commit | 022dbeb9e2dc925cf0dcffb75ea57aedf09395de (patch) | |
tree | 433ee1b826bafad9c311e22288e18e28d868e9c8 /src/theory/quantifiers_engine.h | |
parent | 909a0aa67266d7659decf56f2e6eb8101a802d45 (diff) |
Reestablishing support for define-sort (#5810)
Presumable broken since 3ed42d7ab. This extends the API to have a substitute method for Sort that in needed for doing the Sort substitution in the case of define-sort.
This fixes issue #5809.
Diffstat (limited to 'src/theory/quantifiers_engine.h')
0 files changed, 0 insertions, 0 deletions