diff options
Diffstat (limited to 'generic/proof-autoloads.el')
| -rw-r--r-- | generic/proof-autoloads.el | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el index 083f42f3..5d2a18cd 100644 --- a/generic/proof-autoloads.el +++ b/generic/proof-autoloads.el @@ -14,8 +14,6 @@ ;;; Code: -(eval-when-compile - (require 'cl)) (eval-when-compile (require 'pg-vars) |