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))