diff options
| author | David Aspinall | 2009-09-14 07:59:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-14 07:59:14 +0000 |
| commit | 521c663d0bb433f442abf3dc2cb90f2af642f906 (patch) | |
| tree | 01cba8bd0aed10b6aff6085c972514829e01b1bb | |
| parent | ddaed1740d58f857033cc2142a16533792930d0c (diff) | |
proof-imenu-enable: fix remove call
| -rw-r--r-- | generic/pg-user.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |