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*))))