From 776bdbeda4bc9cf7f4e1746f316b2940d7b1fda0 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 27 Apr 2015 11:22:33 +0000
Subject: Fixed at-point detection.

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

diff --git a/coq/coq.el b/coq/coq.el
index e8de7dde..42ceb2e3 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -732,7 +732,7 @@ Return nil if S is nil."
 (defun coq-grab-punctuation-left (pos)
   (let ((res nil)
         (currpos pos))
-    (while (coq-is-symbol-or-punct (char-before currpos)(char-before currpos))
+    (while (and (coq-is-symbol-or-punct (char-before currpos)))
       (setq res (concat (char-to-string (char-before currpos)) res))
       (setq currpos (- currpos 1)))
     res))
-- 
cgit v1.2.3