diff --git a/collects/lang/private/contracts/contracts-module-begin.ss b/collects/lang/private/contracts/contracts-module-begin.ss
index 2e541c9ad9..02821d6c1f 100644
--- a/collects/lang/private/contracts/contracts-module-begin.ss
+++ b/collects/lang/private/contracts/contracts-module-begin.ss
@@ -252,9 +252,11 @@
                    (let ([e2 (local-expand #'e2 'module local-expand-stop-list)])
                      ;; Lift out certain forms to make them visible to the module
                      ;;  expander:
-                     (syntax-case e2 (#%require define-syntaxes define-values-for-syntax define-values begin)
+                     (syntax-case e2 (#%require #%provide define-syntaxes define-values-for-syntax define-values begin)
                        [(#%require . __)
                         #`(begin #,e2 (frm e3s #,e1s #,def-ids))]
+                       [(#%provide . __)
+                        #`(begin #,e2 (frm e3s #,e1s #,def-ids))]
                        [(define-syntaxes (id ...) . _)
                         #`(begin #,e2 (frm e3s #,e1s (id ... . #,def-ids)))]
                        [(define-values-for-syntax . _)