diff --git a/collects/tests/mzscheme/contract-mzlib-test.ss b/collects/tests/mzscheme/contract-mzlib-test.ss index c32dc4c0af..30884567d7 100644 --- a/collects/tests/mzscheme/contract-mzlib-test.ss +++ b/collects/tests/mzscheme/contract-mzlib-test.ss @@ -1,3 +1,5 @@ + +#lang scheme/load #| This file started out as a copy of contract-test.ss. @@ -1591,14 +1593,7 @@ of the contract library does not change over time. '(let () (define/contract i (-> integer? integer?) (lambda (x) 1)) (i #f)) - "<>") - - (test/spec-failed - 'define/contract5 - '(let () - (define/contract i (-> integer? integer?) (lambda (x) (i #t))) - (i 1)) - "<>") + "top-level") (test/spec-passed 'define/contract6