diff --git a/redex-pict-lib/redex/private/pict.rkt b/redex-pict-lib/redex/private/pict.rkt index c4bd3665..a0d625f0 100644 --- a/redex-pict-lib/redex/private/pict.rkt +++ b/redex-pict-lib/redex/private/pict.rkt @@ -105,7 +105,14 @@ rule-pict-info->side-condition-pict linebreaks sc-linebreaks - string->bracketed-label) + string->bracketed-label + compact-vertical-min-width) + +;; this isn't used by redex, but it is referred to +;; by libraries on the pkg build server so export it +;; in a minimal way +(define compact-vertical-min-width (make-parameter 0)) + ;