diff --git a/txexpr/main.rkt b/txexpr/main.rkt
index 4961fe0..f28bfac 100644
--- a/txexpr/main.rkt
+++ b/txexpr/main.rkt
@@ -4,7 +4,6 @@
 (require-via-wormhole "../typed/txexpr/main.rkt")
 
 (provide+safe
- [xexpr? predicate/c]
  [txexpr? predicate/c]
  [txexpr-short? predicate/c]
  [txexpr-tag? predicate/c]