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 /cmake | |
| 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 'cmake')
0 files changed, 0 insertions, 0 deletions