Don't offer "" as the default in C-c C-c C-a

1 files 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.