diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index 99187995f3..6f0aeeb0c9 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -511,7 +511,7 @@ mz-extras :+= (collects: "rnrs/") ;; -------------------- readline mz-extras :+= (package: "readline/") -;; -------------------- readline +;; -------------------- xrepl mz-extras :+= (package: "xrepl/") ;; -------------------- wxme