core: a fixup for 2fcfb1d

sorawee · Dec 8, 2023 · 502a3ce · 502a3ce
1 parent 2fcfb1d
commit 502a3ce
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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