Skip to content

Commit

Permalink
bring back compact-vertical-min-width to avoid breaking others' packages
Browse files Browse the repository at this point in the history
  • Loading branch information
rfindler committed Jan 13, 2024
1 parent 813cb08 commit 61fa7b0
Showing 1 changed file with 8 additions and 1 deletion.
9 changes: 8 additions & 1 deletion redex-pict-lib/redex/private/pict.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -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))



;
Expand Down

0 comments on commit 61fa7b0

Please sign in to comment.