From ccc794f7b2dd996ec07cba5e89e36eb415b47423 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 18 Apr 2003 21:42:30 +0000 Subject: [PATCH] . original commit: e743880738a122f6ad10d440aed7b00624303ff0 --- collects/mzlib/pretty.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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)