diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-07-16 23:23:05 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-16 21:23:05 -0500 |
commit | 2ee5a2bcf5fd7aaf72d44553ebb85edd76fd06c8 (patch) | |
tree | f76a2ba702f37733603de02af29011639b7bd7c7 /test/unit/CMakeLists.txt | |
parent | 70353e7a7bdb5863edda8f2cabf6807d8f084525 (diff) |
Fix EqProof to ProofNode conversion (#4760)
A wrong change slipped away during the cleaning of the module. This commit fixes the conversion.
Diffstat (limited to 'test/unit/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions