diff options
Diffstat (limited to 'coq/coq-syntax.el')
-rw-r--r-- | coq/coq-syntax.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el index b2d190c1..7be523d2 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -826,7 +826,7 @@ Used by `coq-goal-command-p'" ;; forall binder (list (coq-first-abstr-regexp "\\<forall\\>" "\\(?:,\\|:\\)") 1 'font-lock-variable-name-face) ;; parenthesized binders - (list (coq-first-abstr-regexp "(" ":[^:=]") 1 'font-lock-variable-name-face) + (list (coq-first-abstr-regexp "(" ":[ a-zA-Z]") 1 'font-lock-variable-name-face) ) "*Font-lock table for Coq terms.") |