From 521c663d0bb433f442abf3dc2cb90f2af642f906 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 14 Sep 2009 07:59:14 +0000
Subject: proof-imenu-enable: fix remove call

---
 generic/pg-user.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/pg-user.el b/generic/pg-user.el
index b924422e..eb8b62d7 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -1056,7 +1056,7 @@ If CALLBACK is set, we invoke that when the command completes."
       (imenu-add-to-menubar "Index")
     (progn
       (setq which-func-modes 
-	    (remove which-func-modes proof-mode-for-script))
+	    (remove proof-mode-for-script which-func-modes))
       (let ((oldkeymap (keymap-parent (current-local-map))))
 	(if ;; sanity checks in case someone else set local keymap
 	    (and oldkeymap
-- 
cgit v1.2.3