diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index 0444b1c72a..8b27349938 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -597,6 +597,7 @@ plt-extras :+= (- (package: "2htdp/") "uchat/") ; Matthias doesn't want this in now (package: "test-engine/") + (package: "realm") ;; -------------------- math dr-extras :+= (package: "math") (get-libs: math)