diff options
| author |  Pierre Courtieu <courtieu@lri.fr> | 2008-07-21 15:14:58 +0000 |
|---|---|---|
| committer | Pierre Courtieu <courtieu@lri.fr> | 2008-07-21 15:14:58 +0000 |
| commit | a4fe36f5e0c3ffc64797bed551176d6d30a04834 (patch) | |
| tree | ef580b8c356619008d0db0bf0f548b2b6181165f /coq/coq-syntax.el | |
| parent | 5b11bdadb77636e56dbfd632c85d443a8e8fe59d (diff) | |
todo added fo coq.
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 af6aa6b1..27b63888 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -910,7 +910,7 @@ Used by `coq-goal-command-p'" (defvar coq-ids (proof-ids coq-id " ")) (defun coq-first-abstr-regexp (paren end) - (concat paren "\\s-*\\(" coq-ids "\\)\\s-*" end)) + (concat paren "\\s-*\\(" coq-ids "\\)\\s-*" end)) (defcustom coq-variable-highlight-enable t "Activates partial bound variable highlighting" |