From 9e242fbaef72125708e51d1091bcd24a86823b6c Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Thu, 23 Oct 2014 00:47:41 -0400 Subject: [PATCH] Export disarm* with protect-out --- .../typed-racket-lib/typed-racket/utils/disarm.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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).