diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 21:52:37 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 21:52:37 +0000 |
| commit | 282b31af3ecdbd06cbd79f97a833caf19bbef956 (patch) | |
| tree | 3fe4427f1576c7f7997169c53c7b3b1ac7afa9aa /generic/pg-goals.el | |
| parent | c25e7f0a0fc7eb9a0b90cc3aab6b7740cec9d8ee (diff) | |
Clean compile
Diffstat (limited to 'generic/pg-goals.el')
| -rw-r--r-- | generic/pg-goals.el | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/generic/pg-goals.el b/generic/pg-goals.el index f98859ba..b45a0f71 100644 --- a/generic/pg-goals.el +++ b/generic/pg-goals.el @@ -14,12 +14,11 @@ (eval-when-compile (require 'easymenu) ; easy-menu-add, etc (require 'cl) ; incf - (require 'span)) ; span-* + (require 'span) ; span-* + (defvar proof-goals-mode-menu) ; defined by macro below + (defvar proof-assistant-menu)) ; defined by macro in proof-menu -(require 'proof-utils) (require 'pg-assoc) -(require 'bufhist) - ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;; |