Skip to content

Commit 0b7c77c

Browse files
committed
code cleanup
1 parent c526182 commit 0b7c77c

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

codex/slots/proofs/backends/converters.nim

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -26,8 +26,6 @@ type
2626
VerifyResult* = ptr Atomic[bool]
2727
ProofPtr* = ptr Proof
2828

29-
export ProofPtr
30-
3129
proc new*(_: type ProofPtr): ProofPtr =
3230
cast[ptr Proof](allocShared0(sizeof(Proof)))
3331

0 commit comments

Comments
 (0)