change expand and local-expand to lift certificates

svn: r17439 original commit: e68aabd67a1187a878b1d3c15e3b38e5e430ed31
2009-12-30 17:27:38 +00:00 · 2009-12-30 17:27:38 +00:00 · 32df5b59d0
commit 32df5b59d0
parent 77c8bacdb4
1 changed files with 1 additions and 1 deletions
--- 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)