From 068af526de280a5075ea7bf4312cff2d70866697 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Fri, 12 Feb 2016 13:23:13 -0600 Subject: [PATCH] Fix test that is broken without space-efficient wrappers. --- pkgs/racket-test/tests/racket/contract/exists.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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))