Skip to content
Commit 799ec5a6 authored by Wei Tang's avatar Wei Tang
Browse files

Skip adding proof to disclosing set if it's already published

parent 80b09a12
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment