From f6a39a093c1a6467314ce1a46d9fc07fdb3c65b4 Mon Sep 17 00:00:00 2001 From: Chris Hanson Date: Wed, 5 Dec 2018 23:46:45 -0800 Subject: [PATCH] Eliminate now-unnecessary exports. --- src/runtime/runtime.pkg | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/runtime/runtime.pkg b/src/runtime/runtime.pkg index 594775b62..5ebee077b 100644 --- a/src/runtime/runtime.pkg +++ b/src/runtime/runtime.pkg @@ -4553,7 +4553,6 @@ USA. (make-synthetic-identifier new-identifier) capture-syntactic-environment close-syntax - closed-identifier? identifier->symbol identifier=? identifier? @@ -4593,7 +4592,6 @@ USA. hist-reduce hist-select initial-hist - raw-identifier? serror serror-ctx serror-ctx-form -- 2.25.1