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