diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index df429e36f4..053ace2761 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -491,6 +491,9 @@ mz-extras :+= (package: "trace") ;; -------------------- profile mz-extras :+= (package: "profile") +;; -------------------- contract profile +plt-extras :+= (package: "contract-profile") + ;; -------------------- specific file format libraries mz-extras :+= (package: "file")