Eliminate unused binding.

diff --git a/src/runtime/runtime.pkg b/src/runtime/runtime.pkg
index aceb8a08c51c48d4e5b42496f1877d324af47937..6efb73733bf70b9537b1f2ce3aa0353492c64cc4 100644 (file)
--- a/src/runtime/runtime.pkg
+++ b/src/runtime/runtime.pkg
@@ -5732,7 +5732,6 @@ USA.
          error:not-compiled-regsexp
          guarantee-compiled-regsexp)
   (export ()
-         <compiled-regsexp>
          compile-regsexp
          compiled-regsexp?
          condition-type:compile-regsexp