From 54b7b650cc55f2ad8dba21a14d8577b25d1e4ab5 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 4 Jan 2011 09:48:55 -0600 Subject: [PATCH] changed real-in to be an alias for between/c original commit: 51ad306af256fe6a1742c99d2caffc062cdfc6e0 --- collects/tests/racket/contract-mzlib-test.rktl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/tests/racket/contract-mzlib-test.rktl b/collects/tests/racket/contract-mzlib-test.rktl index 365b327..cfa9869 100644 --- a/collects/tests/racket/contract-mzlib-test.rktl +++ b/collects/tests/racket/contract-mzlib-test.rktl @@ -4164,7 +4164,7 @@ 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 '(real-in 1 10) (real-in 1 10)) + (test-name '(between/c 1 10) (real-in 1 10)) (test-name '(string-len/c 3) (string/len 3)) (test-name 'natural-number/c natural-number/c) (test-name #f false/c)