diff options
| author | Guy <katz911@gmail.com> | 2016-08-03 15:51:22 -0700 |
|---|---|---|
| committer | Guy <katz911@gmail.com> | 2016-08-03 15:51:22 -0700 |
| commit | c82514b57252444df982b35af4809e0fd4635e37 (patch) | |
| tree | 12ad1fe87c8d7723762a120645006bed29ce8c51 /src/proof/theory_proof.h | |
| parent | 53020abb9381f4e29d628c054c990ddb43bba4b2 (diff) | |
Fixed an issue where arrays proofs would sometimes have an extra ")" at the end.
Diffstat (limited to 'src/proof/theory_proof.h')
0 files changed, 0 insertions, 0 deletions