diff options
Diffstat (limited to 'generic/pg-goals.el')
-rw-r--r-- | generic/pg-goals.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/generic/pg-goals.el b/generic/pg-goals.el index 124965e8..d9a350ec 100644 --- a/generic/pg-goals.el +++ b/generic/pg-goals.el @@ -19,7 +19,6 @@ ;;; Code: (eval-when-compile (require 'easymenu) ; easy-menu-add, etc - (require 'cl) ; incf (require 'span)) ; span-* (defvar proof-goals-mode-menu) ; defined by macro below (defvar proof-assistant-menu) ; defined by macro in proof-menu |