diff --git a/collects/mzlib/pretty.ss b/collects/mzlib/pretty.ss index 2d9f002..1c9d191 100644 --- a/collects/mzlib/pretty.ss +++ b/collects/mzlib/pretty.ss @@ -670,7 +670,8 @@ pp-expr depth) (let ((head (car expr))) - (if (symbol? head) + (if (and (symbol? head) + (not (size-hook head display?))) (let ((proc (style head))) (if proc (proc expr col extra depth)