From 9af3b0e0bca207591b8172bc859c529edeea32cf Mon Sep 17 00:00:00 2001
From: Makarius Wenzel
Date: Fri, 2 Jul 1999 22:11:56 +0000
Subject: fixed some regexp via proof-anchor-regexp;

---
 coq/coq-syntax.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'coq')

diff --git a/coq/coq-syntax.el b/coq/coq-syntax.el
index 4a9723b0..11c6df93 100644
--- a/coq/coq-syntax.el
+++ b/coq/coq-syntax.el
@@ -269,12 +269,12 @@
 ;; It is understood here as being a goal.  This is important for
 ;; recognizing global identifiers, see coq-global-p.
 (defconst coq-save-command-regexp
-  (concat "^" (proof-ids-to-regexp coq-keywords-save)))
+  (proof-anchor-regexp (proof-ids-to-regexp coq-keywords-save)))
 (defconst coq-save-with-hole-regexp
   (concat "\\(" (proof-ids-to-regexp coq-keywords-save)
 	  "\\)\\s-+\\(" coq-id "\\)\\s-*\."))
 (defconst coq-goal-command-regexp
-  (concat "^" (proof-ids-to-regexp coq-keywords-goal)))
+  (proof-anchor-regexp (proof-ids-to-regexp coq-keywords-goal)))
 (defconst coq-goal-with-hole-regexp
   (concat "\\(" (proof-ids-to-regexp coq-keywords-goal)
 	  "\\)\\s-+\\(" coq-id "\\)\\s-*[:]?")) 
-- 
cgit v1.2.3