Fix PartialSmt
stale proofs not resulting in error
#220
Loading
PartialSmt
stale proofs not resulting in error
#220