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 /src/proof/lrat/lrat_proof.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 'src/proof/lrat/lrat_proof.cpp')
0 files changed, 0 insertions, 0 deletions