From dbcdba63a79bfcafbc8873b787f18aa049198eaf Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 13 Oct 2015 15:51:33 +0200
Subject: Fixed coq-id-at-point.

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

diff --git a/coq/coq.el b/coq/coq.el
index c62f84b1..ac92688e 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -791,7 +791,7 @@ Support dot.notation.of.modules."
                  ((fboundp 'symbol-at-point) (symbol-at-point))))
           (symbclean (when symb (coq-remove-trailing-dot (symbol-name symb)))))
      (when (and symb (not (zerop (length symbclean)))
-                (not (coq-string-starts-with-symbol symb)))
+                (not (coq-string-starts-with-symbol symbclean)))
        symbclean))))
 
 
-- 
cgit v1.2.3