projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 70353e7) | patch
Fix EqProof to ProofNode conversion (#4760)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Fri, 17 Jul 2020 02:23:05 +0000 (23:23 -0300)
committerGitHub <noreply@github.com>
Fri, 17 Jul 2020 02:23:05 +0000 (21:23 -0500)
commit2ee5a2bcf5fd7aaf72d44553ebb85edd76fd06c8
treef76a2ba702f37733603de02af29011639b7bd7c7tree
parent70353e7a7bdb5863edda8f2cabf6807d8f084525commit | diff
Fix EqProof to ProofNode conversion (#4760)

A wrong change slipped away during the cleaning of the module. This commit fixes the conversion.
src/theory/uf/eq_proof.cpp diff | blob | history