Export disarm* with protect-out

2014-10-23 00:47:41 -04:00 · 2014-10-23 00:47:41 -04:00 · 9e242fbaef
commit 9e242fbaef
parent 670c857685
1 changed files with 1 additions and 1 deletions
--- 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).