From ec0175bd48b627f8d754155c61f067e4976cee00 Mon Sep 17 00:00:00 2001 From: Mike Sperber Date: Sat, 19 Sep 2009 17:23:04 +0000 Subject: [PATCH] Add missing `contract'. svn: r16072 --- collects/tests/deinprogramm/contract.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/tests/deinprogramm/contract.ss b/collects/tests/deinprogramm/contract.ss index b56c2d8db8..dee9e73148 100644 --- a/collects/tests/deinprogramm/contract.ss +++ b/collects/tests/deinprogramm/contract.ss @@ -191,7 +191,7 @@ (test-case "predicate" - (define integer (predicate integer?)) + (define integer (contract (predicate integer?))) (check-equal? (say-no (apply-contract integer 5)) 5) (check-equal? (say-no (apply-contract integer "foo")) 'no))