diff --git a/collects/redex/private/rewrite-side-conditions.rkt b/collects/redex/private/rewrite-side-conditions.rkt
index 46bdc348f6..8344b22960 100644
--- a/collects/redex/private/rewrite-side-conditions.rkt
+++ b/collects/redex/private/rewrite-side-conditions.rkt
@@ -87,6 +87,8 @@
       (when the-use
         (define old (syntax-property void-stx 'disappeared-use))
         (set! void-stx
+              void-stx ;; disable this for now.
+              #;
               (syntax-property void-stx
                                'disappeared-use
                                (if old (cons the-use old) the-use)))))
diff --git a/collects/redex/private/term-fn.rkt b/collects/redex/private/term-fn.rkt
index fac37cd35e..e1a1217da1 100644
--- a/collects/redex/private/term-fn.rkt
+++ b/collects/redex/private/term-fn.rkt
@@ -105,7 +105,9 @@
                             ;; shorten the span so it covers only up to the underscore
                             (string-length (symbol->string nt))))
         (define the-id (datum->syntax table-entry nt the-srcloc id-stx))
-        (syntax-property the-id 'syncheck-original #t)]
+        (syntax-property the-id 'syncheck-original #t)
+        ;; disable this for now
+        #f]
        [else
         #f])]
     [else