Fix test that is broken without space-efficient wrappers.

2016-02-12 13:23:13 -06:00 · 2016-02-12 13:23:13 -06:00 · 068af526de
commit 068af526de
parent 0961cf9412
1 changed files with 4 additions and 2 deletions
--- 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))
+   11
+   do-not-double-wrap))