From f1e5002ad0fb77bfa9aba205f2cc1311c2a9a740 Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Sat, 12 May 2018 23:22:28 -0700 Subject: [PATCH] Eliminate two unused exports. --- src/runtime/runtime.pkg | 4 ---- 1 file changed, 4 deletions(-) diff --git a/src/runtime/runtime.pkg b/src/runtime/runtime.pkg index 9373dae61..9aa29e033 100644 --- a/src/runtime/runtime.pkg +++ b/src/runtime/runtime.pkg @@ -4858,16 +4858,12 @@ USA. param:printer-string-length-limit) (export (runtime boot-definitions) get-param:print-with-maximum-readability?) - (export (runtime global-database) - (unparser-state/port context-port)) (export (runtime output-port) print-top-level) (export (runtime pretty-printer) get-param:printer-list-breadth-limit get-param:printer-list-depth-limit prefix-pair?) - (export (runtime record) - (rtd:unparser-state )) (export (runtime swank) user-object-type)) -- 2.25.1