diff --git a/collects/tests/racket/contract-test.rktl b/collects/tests/racket/contract-test.rktl
index 449c100bcd..5e1fbd9044 100644
--- a/collects/tests/racket/contract-test.rktl
+++ b/collects/tests/racket/contract-test.rktl
@@ -9619,7 +9619,7 @@ so that propagation occurs.
                       (racket/contract:negative-position a)
                       (racket/contract:positive-position b)))
   (test-obligations '(->i ([x a]) #:pre () #t [res b] #:post () #t)
-                    '((racket/contract:contract (->i #:post) (#:pre))
+                    '((racket/contract:contract (#:post ->i) (#:pre))
                       (racket/contract:contract-on-boundary a)
                       (racket/contract:contract-on-boundary b)
                       (racket/contract:negative-position a)