diff options
| -rw-r--r-- | generic/proof-shell.el | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 2b11c2e6..70d65465 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -9,10 +9,7 @@ ;; $Id$ ;; -;; FIXME: needed because of menu definitions, which should -;; be factored out into proof-menus. Then require here is -;; just on proof-shell. -(require 'proof-script) +(require 'proof-menu) ;; Nuke some byte compiler warnings. |