diff --git a/collects/tests/typed-racket/fail/procedure-top.rkt b/collects/tests/typed-racket/fail/procedure-top.rkt
index 645af28b..bce5eac4 100644
--- a/collects/tests/typed-racket/fail/procedure-top.rkt
+++ b/collects/tests/typed-racket/fail/procedure-top.rkt
@@ -1,6 +1,6 @@
 #;
-(exn-pred exn:fail:contract:arity?)
-#lang racket/load
+(exn-pred exn:fail:contract?)
+#lang racket
 
 ;; fail version