From 8d080b74cb78d0b000059782703b2c4aa896f5cc Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sat, 23 Mar 2013 00:07:09 -0700 Subject: [PATCH] Fix Struct-Type-Property. Closes PR 13593. --- collects/typed-racket/types/abbrev.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-racket/types/abbrev.rkt b/collects/typed-racket/types/abbrev.rkt index c94f32fd48..a9f1d7a0ef 100644 --- a/collects/typed-racket/types/abbrev.rkt +++ b/collects/typed-racket/types/abbrev.rkt @@ -232,7 +232,7 @@ (define -Thread-Group (make-Base 'Thread-Group #'thread-group? thread-group? #'-Thread-Group)) (define -Struct-Type-Property - (make-Base 'Struct-Type-Property #'struct-type-property? struct-type-property? #'Struct-Type-Property)) + (make-Base 'Struct-Type-Property #'struct-type-property? struct-type-property? #'-Struct-Type-Property)) (define -Impersonator-Property (make-Base 'Impersonator-Property #'impersonator-property? impersonator-property? #'-Impersonator-Property))