diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-05-22 08:01:59 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-22 08:01:59 -0500 |
| commit | ae33f11d0f4156b4d21b9e77f6df59ec0f9e8184 (patch) | |
| tree | 7be8eb9e2084a6754277b8c3ef86968e8f029692 /src/CMakeLists.txt | |
| parent | 026f7ae7bb3678281fb46defff4a1202c69d5f4e (diff) | |
(proof-new) Proof node to SExpr utility. (#4512)
This is required for dag-ifying ProofNode output.
Diffstat (limited to 'src/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions