diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-10-09 17:44:02 +0000 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2012-10-09 17:44:02 +0000 |
commit | 680d9e20d412afe24a23dcaf3a4e440bcf208fbe (patch) | |
tree | 6bac4b3ba212d021cfbb0136c232b149f3d22acc /src/theory/model.h | |
parent | 5f2ababa9d26f94e8438dc1d17b60781fcaa8522 (diff) |
made datatypes rewrite incorrect selectors to ground term. this feature can be turned off by --disable-dt-rewrite-error-sel. changed regression answer to reflect new default behavior.
Diffstat (limited to 'src/theory/model.h')
0 files changed, 0 insertions, 0 deletions