diff options
author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-03-16 16:59:03 -0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-16 19:59:03 +0000 |
commit | 8c1138f4a076acdabae18bf3d6d088ac1ab10587 (patch) | |
tree | 3f301db87870bae906234068180ced461aa07e6f /src/theory/builtin | |
parent | 8c11c5b2683aa13160447aef302d82115a08081a (diff) |
[proof-new] Activating proofs when dumping proofs (#6155)
Diffstat (limited to 'src/theory/builtin')
0 files changed, 0 insertions, 0 deletions