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/uf_proof.cpp | |
parent | 53020abb9381f4e29d628c054c990ddb43bba4b2 (diff) |
Fixed an issue where arrays proofs would sometimes have an extra ")" at the end.
Diffstat (limited to 'src/proof/uf_proof.cpp')
0 files changed, 0 insertions, 0 deletions