From 3a127f04bdc749151859a46c7ef84ebdacf547ba Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 24 Dec 2009 14:38:41 +0000 Subject: [PATCH] another repair for bundle script svn: r17393 --- collects/meta/checker.ss | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/collects/meta/checker.ss b/collects/meta/checker.ss index c46f35c2e9..d0a365aa35 100644 --- a/collects/meta/checker.ss +++ b/collects/meta/checker.ss @@ -524,6 +524,10 @@ (define *platform-tree-lists* null) (define *plt-tree* #f) +(provide get-plt-tree) +(define (get-plt-tree) + *plt-tree*) + (provide verify!) (define (verify!) (define features (filter string? (reverse (*environment*))))