diff --git a/typed-racket-test/unit-tests/static-contract-optimizer-tests.rkt b/typed-racket-test/unit-tests/static-contract-optimizer-tests.rkt index 1c07e751..49d75c69 100644 --- a/typed-racket-test/unit-tests/static-contract-optimizer-tests.rkt +++ b/typed-racket-test/unit-tests/static-contract-optimizer-tests.rkt @@ -69,7 +69,7 @@ (check-syntax (arr/sc null #f (list list?/sc)) '(-> any)) (check-syntax (hash/sc list?/sc list?/sc) - '(hash/c list? list?)) + '(typed-racket-hash/c list? list?)) ))