diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-types.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-types.rkt index 3c1ae1df..3e0b7e32 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-types.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-types.rkt @@ -110,7 +110,7 @@ [VectorTop -VectorTop] [HashTableTop -HashTop] [MPairTop -MPairTop] -[ThreadCellTop -ThreadCellTop] +[Thread-CellTop -Thread-CellTop] [Prompt-TagTop -Prompt-TagTop] [Continuation-Mark-KeyTop -Continuation-Mark-KeyTop] [Keyword -Keyword] diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt index f0e17d89..d18d9e2f 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/types/abbrev.rkt @@ -159,7 +159,7 @@ (define/decl -HashTop (make-HashtableTop)) (define/decl -VectorTop (make-VectorTop)) (define/decl -MPairTop (make-MPairTop)) -(define/decl -ThreadCellTop (make-ThreadCellTop)) +(define/decl -Thread-CellTop (make-ThreadCellTop)) (define/decl -Prompt-TagTop (make-Prompt-TagTop)) (define/decl -Continuation-Mark-KeyTop (make-Continuation-Mark-KeyTop)) (define/decl -Port (Un -Output-Port -Input-Port))