projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d278cfe) | patch
Fix datatypes inference manager when proofs are enabled (#5937)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 22 Feb 2021 13:01:18 +0000 (07:01 -0600)
committerGitHub <noreply@github.com>
Mon, 22 Feb 2021 13:01:18 +0000 (14:01 +0100)
commit0fc7cca0af4885b9636b9bc8c3b4773cbd2b929f
treedd0cbf0f6739ec5cad69a0853e321005243248cftree
parentd278cfe019534f8765a9979c3181ae1f8fbc8470commit | diff
Fix datatypes inference manager when proofs are enabled (#5937)

Accidentally was not sending lemmas in one interface when proofs are enabled due to recent refactoring.
src/theory/datatypes/inference_manager.cpp diff | blob | history