diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-05-28 15:05:06 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-28 15:05:06 -0500 |
| commit | da165b9cbee366d4e77716617f2e2c794da9bd46 (patch) | |
| tree | 05535894356ff2d2c5bae66e6da6ab5a85b9e6f1 /examples/nra-translate/smt2toisat.cpp | |
| parent | 4df14f1e09549be607123c66b7dd206e8e244c89 (diff) | |
Fix term registry for constant case, simplify. (#4538)
We were getting an assertion failure (causing nightlies to fail) due to the recent optimization to the strings skolem cache (978f455). This ensures we ignore constant strings in TermRegistry::getRegisterTermAtomicLemma.
It also removes a deprecated option that is deleted in the proof-new branch.
Diffstat (limited to 'examples/nra-translate/smt2toisat.cpp')
0 files changed, 0 insertions, 0 deletions