diff --git a/collects/lang/private/contracts/contracts-module-begin.ss b/collects/lang/private/contracts/contracts-module-begin.ss index ac2c2764a5..637a1834a2 100644 --- a/collects/lang/private/contracts/contracts-module-begin.ss +++ b/collects/lang/private/contracts/contracts-module-begin.ss @@ -144,7 +144,7 @@ [_ (raise-syntax-error 'contract "internal error.5")]))) (define local-expand-stop-list - (list 'contract 'define-values 'define-syntaxes '#%require + (list 'contract 'define-values 'define-syntaxes 'define-values-for-syntax '#%require '#%provide 'define-data '#%app '#%datum 'define-struct 'begin 'begin0)) ;; parse-contract-expressions