diff options
-rw-r--r-- | generic/proof-autoloads.el | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el index 67904203..083f42f3 100644 --- a/generic/proof-autoloads.el +++ b/generic/proof-autoloads.el @@ -14,8 +14,6 @@ ;;; Code: -(if (featurep 'proof-autoloads) (error "Already loaded")) - (eval-when-compile (require 'cl)) @@ -24,7 +22,6 @@ (require 'proof-config) (require 'scomint)) - (provide 'proof-autoloads) |