From 32df5b59d01e40117ae4f50559d27692bb8e67e0 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 30 Dec 2009 17:27:38 +0000 Subject: [PATCH] change expand and local-expand to lift certificates svn: r17439 original commit: e68aabd67a1187a878b1d3c15e3b38e5e430ed31 --- collects/typed-scheme/utils/require-contract.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/typed-scheme/utils/require-contract.ss b/collects/typed-scheme/utils/require-contract.ss index b7f89075..266f7e62 100644 --- a/collects/typed-scheme/utils/require-contract.ss +++ b/collects/typed-scheme/utils/require-contract.ss @@ -12,7 +12,7 @@ [(_ name expr) (syntax-case (local-expand/capture-lifts #'expr 'expression - (list #'define-values)) + null #;(list #'define-values)) (begin define-values) [(begin (define-values (n) e) e*) #`(begin (define-values (n) e)