diff options
| -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 eb1f2d3d..6e8a6aa4 100644 --- a/coq/coq-syntax.el +++ b/coq/coq-syntax.el @@ -785,7 +785,7 @@ Idtac (Nop) tactic, put the following line in your .emacs: "\\)\\s-+\\(" coq-ids "\\)\\s-*[:]")) (defconst coq-defn-with-hole-regexp (concat "\\(" (proof-ids-to-regexp coq-keywords-defn) - "\\)\\s-+\\(" coq-id "\\)\\s-*.")) + "\\)\\s-+\\(" coq-id "\\)\\s-*\\S-")) (defvar coq-font-lock-keywords-1 (append coq-font-lock-terms |