diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-09-15 20:47:43 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-15 20:47:43 -0500 |
commit | 33f51490a9df73d8fee25fb88b19a87339b28e95 (patch) | |
tree | 49348f42447860781a573dd61494bfee277d62ec /src/expr/buffered_proof_generator.cpp | |
parent | b02977f0076ade00b631e8ee79a31b96bf7a24c4 (diff) |
(proof-new) Make proofs mandatory in proof equality engine (#5059)
All uses of proof equality engine are now guarded such that the ordinary equality engine is used when proofs are not enabled. Thus, we can make proofs mandatory in proof equality engine. This eliminates the need for some guards.
Some indentation changed, but there are no additions in this PR.
Diffstat (limited to 'src/expr/buffered_proof_generator.cpp')
0 files changed, 0 insertions, 0 deletions