From 304cf41b762c57bda2f1176fc8c366e9801015d2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 3 Dec 2009 00:26:21 +0000
Subject: Change of type for proof-script-span-context-menu-extensions

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

(limited to 'coq/coq.el')

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?
-- 
cgit v1.2.3