Index: coq/coq.el
===================================================================
RCS file: /disk/cvs/proofgen/ProofGeneral/coq/coq.el,v
retrieving revision 11.201
diff -u -r11.201 coq.el
--- coq/coq.el  14 Apr 2015 13:53:21 -0000  11.201
+++ coq/coq.el  17 Apr 2015 22:05:59 -0000
@@ -727,12 +727,13 @@
     s))

 (defun coq-is-symbol-or-punct (c)
-  (or (equal (char-syntax c) ?\.) (equal (char-syntax c) ?\_)))
+  (when c
+    (or (equal (char-syntax c) ?\.) (equal (char-syntax c) ?\_))))

 (defun coq-grab-punctuation-left (pos)
   (let ((res nil)
         (currpos pos))
-    (while (coq-is-symbol-or-punct (char-before currpos)(char-before currpos))
+    (while (coq-is-symbol-or-punct (char-before currpos))
       (setq res (concat (char-to-string (char-before currpos)) res))
       (setq currpos (- currpos 1)))
     res))