diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 21:52:36 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 21:52:36 +0000 |
commit | c25e7f0a0fc7eb9a0b90cc3aab6b7740cec9d8ee (patch) | |
tree | 88b31c44a86b542c9330b78bb1cf9c68f47d992c /generic/pg-assoc.el | |
parent | 34ec09678c21b2bf8be501c446ed0778624faa61 (diff) |
Clean compile
Diffstat (limited to 'generic/pg-assoc.el')
-rw-r--r-- | generic/pg-assoc.el | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/generic/pg-assoc.el b/generic/pg-assoc.el index 6d041c08..51633afe 100644 --- a/generic/pg-assoc.el +++ b/generic/pg-assoc.el @@ -13,11 +13,7 @@ ;;; Code: -(eval-when-compile - (require 'proof-syntax) ; proof-replace-{string,regexp} - (require 'span) ; spans - (require 'cl)) ; incf - +(require 'proof-utils) (eval-and-compile ; defines proof-universal-keys-only-mode-map at compile time (define-derived-mode proof-universal-keys-only-mode fundamental-mode |