diff --git a/collects/redex/private/core-layout.rkt b/collects/redex/private/core-layout.rkt index 941e8f06bb..7366109d00 100644 --- a/collects/redex/private/core-layout.rkt +++ b/collects/redex/private/core-layout.rkt @@ -53,15 +53,15 @@ (struct-out line) current-text) - (define STIX? #f) ;; atomic-rewrite-table : (parameter (listof (list symbol (union string pict)))) (define atomic-rewrite-table (make-parameter - `((... ,(if STIX? - (basic-text "\u22ef" (default-style)) - "...")) + `((... ,(λ () + (if STIX? + (basic-text "\u22ef" (default-style)) + (basic-text "..." (default-style))))) (hole "[]")))) (define-syntax (with-atomic-rewriter stx)