diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2007-11-08 08:04:38 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2007-11-08 08:04:38 +0000 |
| commit | 1ef51ffae9dba2795ce7e535540f0a1b669d51b2 (patch) | |
| tree | 45b8337f4aa679ce956579c60da89ea7e7b3b225 | |
| parent | 72f80ffbd127d95dd8208c1ac7d5b6db2dbaeef9 (diff) | |
fixing small font-lock bug with ssreflect syntax.
| -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.") |