From 5a77b4cc7c287a1f64d58d7fb770121e564849d6 Mon Sep 17 00:00:00 2001 From: Matt Birkholz Date: Fri, 22 Jun 2018 03:22:08 -0700 Subject: [PATCH] Export FFI's delete-plugin-list and update-plugin-indices. --- src/runtime/runtime.pkg | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/runtime/runtime.pkg b/src/runtime/runtime.pkg index 144b7f43b..2e4fb11d0 100644 --- a/src/runtime/runtime.pkg +++ b/src/runtime/runtime.pkg @@ -3723,7 +3723,9 @@ USA. register-c-callback set-alien/ctype! add-plugin - remove-plugin) + remove-plugin + delete-plugin-list + update-plugin-indices) (initialization (initialize-package!))) (define-package (runtime program-copier) -- 2.25.1