missed a place to add an undatum

2011-12-14 06:46:21 -06:00 · 2011-12-14 06:46:21 -06:00 · a88d9ca116
commit a88d9ca116
parent c91d004729
1 changed files with 1 additions and 1 deletions
--- a/collects/redex/private/term.rkt
+++ b/collects/redex/private/term.rkt
@ -81,7 +81,7 @@
         (with-syntax ([v #`(begin
                              #,(defined-check ref "term" #:external #'x)
                              #,ref)])
-           (values #'#,v 0)))]
+           (values #`(undatum v) 0)))]
      [(unquote x)
       (values (syntax (undatum x)) 0)]
      [(unquote . x)