diff --git a/collects/unstable/contract.rkt b/collects/unstable/contract.rkt
index 10194ab1ed..9a85e6b318 100644
--- a/collects/unstable/contract.rkt
+++ b/collects/unstable/contract.rkt
@@ -355,7 +355,6 @@
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 
 (provide/contract
- [non-empty-string/c contract?]
  [path-element? contract?]
  [port-number? contract?]
  [tcp-listen-port? contract?]