diff --git a/typed-racket-more/typed/net/url-connect.rkt b/typed-racket-more/typed/net/url-connect.rkt index 3ac41273..1104849c 100644 --- a/typed-racket-more/typed/net/url-connect.rkt +++ b/typed-racket-more/typed/net/url-connect.rkt @@ -5,4 +5,4 @@ (require/typed/provide net/url-connect - [current-https-protocol (U SSL-Client-Context SSL-Protocol)]) + [current-https-protocol (Parameterof (U SSL-Client-Context SSL-Protocol))])