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