diff --git a/collects/tests/mzscheme/contract-test.ss b/collects/tests/mzscheme/contract-test.ss index 7bde8f4..84b0cdc 100644 --- a/collects/tests/mzscheme/contract-test.ss +++ b/collects/tests/mzscheme/contract-test.ss @@ -4133,9 +4133,7 @@ so that propagation occurs. (test-flat-contract '(>/c 5) 10 5) (test-flat-contract '(integer-in 0 10) 0 11) (test-flat-contract '(integer-in 0 10) 10 3/2) - (test-flat-contract '(exact-integer-in 0 10) 0 11) - (test-flat-contract '(exact-integer-in 0 10) 10 3/2) - (test-flat-contract '(exact-integer-in 0 10) 1 1.0) + (test-flat-contract '(integer-in 0 10) 1 1.0) (test-flat-contract '(real-in 1 10) 3/2 20) (test-flat-contract '(string/len 3) "ab" "abc") (test-flat-contract 'natural-number/c 5 -1) @@ -4355,7 +4353,6 @@ so that propagation occurs. (test-name '(>/c 5) (>/c 5)) (test-name '(between/c 5 6) (between/c 5 6)) (test-name '(integer-in 0 10) (integer-in 0 10)) - (test-name '(exact-integer-in 0 10) (exact-integer-in 0 10)) (test-name '(real-in 1 10) (real-in 1 10)) (test-name '(string/len 3) (string/len 3)) (test-name 'natural-number/c natural-number/c)