Permalink
Browse files

Fix Struct-Type-Property.

Closes PR 13593.
  • Loading branch information...
endobson committed Mar 23, 2013
1 parent 4ebf53e commit 8d080b74cb78d0b000059782703b2c4aa896f5cc
Showing with 1 addition and 1 deletion.
  1. +1 −1 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))

0 comments on commit 8d080b7

Please sign in to comment.