From 6f008db1b2232ee8c8f3c7180e34bd42a399eb2a Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 28 Jul 2014 18:31:52 -0500 Subject: [PATCH] fix real-in naming test cases original commit: 60516049edd6f3dc25f86e77303d2e790379b4fc --- .../compatibility-test/tests/mzlib/contract-mzlib-test.rktl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/compatibility-pkgs/compatibility-test/tests/mzlib/contract-mzlib-test.rktl b/pkgs/compatibility-pkgs/compatibility-test/tests/mzlib/contract-mzlib-test.rktl index f93b97c..d336035 100644 --- a/pkgs/compatibility-pkgs/compatibility-test/tests/mzlib/contract-mzlib-test.rktl +++ b/pkgs/compatibility-pkgs/compatibility-test/tests/mzlib/contract-mzlib-test.rktl @@ -4171,7 +4171,8 @@ 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 '(between/c 1 10) (real-in 1 10)) + (test-name '(real-in 1 10) (real-in 1 10)) + (test-name '(between/c 1 10) (between/c 1 10)) (test-name '(string-len/c 3) (string/len 3)) (test-name 'natural-number/c natural-number/c) (test-name #f false/c)