diff --git a/params.rkt b/params.rkt index 5236810..fd03dd6 100644 --- a/params.rkt +++ b/params.rkt @@ -21,7 +21,7 @@ (make-parameter (λ (d) (match d - [(node _ (? app-prefix?) ")" _ _ _) #t] + [(node _ (? app-prefix?) ")" _ _) #t] [_ #f])))) (define current-ellipsis? (make-parameter