diff --git a/codex/slots/proofs/backends/converters.nim b/codex/slots/proofs/backends/converters.nim
index 6357b103..88a02202 100644
--- a/codex/slots/proofs/backends/converters.nim
+++ b/codex/slots/proofs/backends/converters.nim
@@ -26,8 +26,6 @@ type
   VerifyResult* = ptr Atomic[bool]
   ProofPtr* = ptr Proof
 
-export ProofPtr
-
 proc new*(_: type ProofPtr): ProofPtr =
   cast[ptr Proof](allocShared0(sizeof(Proof)))