diff options
| author | David Aspinall | 2000-06-01 13:34:37 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-06-01 13:34:37 +0000 |
| commit | 59e1bf093e0a1f74ee261383dcf9531cb853a049 (patch) | |
| tree | 7da0faf8bca67f32cc48f37afb2c190230d222ba /generic | |
| parent | 77b2563d33581f6ca78e8be285391f0b60cd3dc6 (diff) | |
Made require on proof-menu instead of proof-script.
Diffstat (limited to 'generic')
| -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. |