diff --git a/typed-racket-lib/typed-racket/core.rkt b/typed-racket-lib/typed-racket/core.rkt
index dfa8f696..f9f46b78 100644
--- a/typed-racket-lib/typed-racket/core.rkt
+++ b/typed-racket-lib/typed-racket/core.rkt
@@ -39,7 +39,8 @@
                        (do-time "Fixed contract ids"))]
               ;; add the real definitions of contracts on the before- and after-code
               [(before-code ...) (change-provide-fixups (flatten-all-begins pre-before-code))]
-              [(after-code ...) (change-provide-fixups (flatten-all-begins pre-after-code))]
+              [(after-code ...) (begin0 (change-provide-fixups (flatten-all-begins pre-after-code))
+                                  (do-time "Generated contracts"))]
               ;; potentially optimize the code based on the type information
               [(optimized-body ...) (maybe-optimize #'transformed-body)] ;; has own call to do-time
               ;; add in syntax property on useless expression to draw check-syntax arrows