From 4346278e5ae54fe46a3dd04cb92892a0c9e045c0 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel
Date: Mon, 16 May 2016 18:59:33 -0400
Subject: Don't offer "" as the default in C-c C-c C-a

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

diff --git a/coq/coq.el b/coq/coq.el
index a75760ed..4921bdaf 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -867,8 +867,9 @@ Support dot.notation.of.modules."
 
 
 (defun coq-id-or-notation-at-point ()
-  (or (coq-id-at-point) (concat "\"" (coq-notation-at-position (point)) "\"")))
-
+  (or (coq-id-at-point)
+      (let ((notation (coq-notation-at-position (point))))
+        (if notation (concat "\"" notation "\"") ""))))
 
 (defcustom coq-remap-mouse-1 nil
   "Wether coq mode should remap mouse button 1 to coq queries.
-- 
cgit v1.2.3