From a88d9ca1167dd54db28da23b09ee536931e8547c Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 14 Dec 2011 06:46:21 -0600
Subject: [PATCH] missed a place to add an undatum

---
 collects/redex/private/term.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/redex/private/term.rkt b/collects/redex/private/term.rkt
index 235377319a..e3a98065fe 100644
--- 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)