diff options
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 |