diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/disarm.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/disarm.rkt
index ef1e0a9d80..3d9ffcd209 100644
--- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/disarm.rkt
+++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/utils/disarm.rkt
@@ -1,6 +1,6 @@
 #lang racket/base
 
-(provide disarm*)
+(provide (protect-out disarm*))
 
 ;; Typed Racket runs after macro expansion, and it must be priviledged,
 ;; so it can just disarm all taints (and arm everything afterward).