Change of type for proof-script-span-context-menu-extensions

1 files changed, 1 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index c7b8bebf..62d9295f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1008,7 +1008,7 @@ mouse activation."
 ;;
 
 (defun coq-create-span-menu (span idiom name)
-  (if (string-equal idiom "proof")
+  (if (eq idiom 'proof)
       (let ((thm (span-property span 'name)))
         (list (vector
                "Check" ; useful?