diff --git a/pkgs/racket-test/tests/racket/contract/exists.rkt b/pkgs/racket-test/tests/racket/contract/exists.rkt index f146d6ce96..d8daab0dc3 100644 --- a/pkgs/racket-test/tests/racket/contract/exists.rkt +++ b/pkgs/racket-test/tests/racket/contract/exists.rkt @@ -27,7 +27,8 @@ 'pos 'neg) (λ (x) x))) - 11) + 11 + do-not-double-wrap) (test/pos-blame '∀1 @@ -52,4 +53,5 @@ 'pos 'neg) 11)) - 11)) \ No newline at end of file + 11 + do-not-double-wrap))