From 9d6766d2f20362240ebfe284e0dbd97fb25504a0 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 27 Mar 2015 09:55:21 +0000
Subject: Fixed a regex for detecting ids at point.

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

diff --git a/coq/coq.el b/coq/coq.el
index 61107c9d..ea24199d 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -722,7 +722,7 @@ the *goals* buffer."
 (defun coq-remove-trailing-dot (s)
   "Return the string S without its trailing \".\" if any.
 Return nil if S is nil."
-  (if (and s (string-match "\\.\\>" s))
+  (if (and s (string-match "\\.\\'" s))
       (substring s 0 (- (length s) 1))
     s))
 
-- 
cgit v1.2.3