diff --git a/pkgs/drracket-pkgs/drracket/drracket/tool-lib.rkt b/pkgs/drracket-pkgs/drracket/drracket/tool-lib.rkt index 027395ce5c..5f9c2351de 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/tool-lib.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/tool-lib.rkt @@ -31,6 +31,7 @@ all of the names in the tools library, for use defining keybindings racket/base scribble/manual scribblings/tools/doc-util (for-label errortrace/errortrace-key + racket/place racket/pretty mzlib/pconvert syntax/toplevel)))