From b29ff95882befb16f46eb4b077689ac1d939606a Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 29 Mar 2004 11:04:49 +0000
Subject: *** empty log message ***

---
 coq/coq-syntax.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3