diff --git a/typed-racket-lib/typed-racket/HISTORY.txt b/typed-racket-lib/typed-racket/HISTORY.txt
index 9f96294d..2655e81d 100644
--- a/typed-racket-lib/typed-racket/HISTORY.txt
+++ b/typed-racket-lib/typed-racket/HISTORY.txt
@@ -1,3 +1,9 @@
+6.4
+- Contract performance improvements, including generating code that
+  the contract system can optimize
+- Make `any-wrap/c` more permissive on opaque structs.
+- Soundly check opaque predicates.
+- Add `#:type-name` option to `struct`.
 6.3
 - Startup time reduction
 - Tightening and cleanup of numeric types
diff --git a/typed-racket-lib/typed-racket/utils/tc-utils.rkt b/typed-racket-lib/typed-racket/utils/tc-utils.rkt
index 0dd3612e..4d6bb0b6 100644
--- a/typed-racket-lib/typed-racket/utils/tc-utils.rkt
+++ b/typed-racket-lib/typed-racket/utils/tc-utils.rkt
@@ -74,7 +74,7 @@ don't depend on any other portion of the system
     (when (and (warn-unreachable?)
                (log-level? l 'warning)
                (and (syntax-transforming?)
-                    (syntax-original? (syntax-local-introduce e)))
+                    #;(syntax-original? (syntax-local-introduce e)))
                #;(and (orig-module-stx)
                       (eq? (debugf syntax-source-module e)
                            (debugf syntax-source-module (orig-module-stx))))