diff options
author | Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-09-01 13:08:48 -0400 |
---|---|---|
committer | Clément Pit-Claudel <clement.pitclaudel@live.com> | 2018-09-01 13:08:48 -0400 |
commit | 65d69a7a6a4a5aa5518fd55671d58b0b4a350fe2 (patch) | |
tree | 84981db4cca891b11f5efd795ad70da50cbbe4b3 /generic/proof-autoloads.el | |
parent | 6aeacf5863e6f22b86d9fb8e57380ca29fbfddaa (diff) |
Reloading proof-autoloads is safe; don't forbid it
Fixes GH-386.
Reported-by: @mrkkrp
Diffstat (limited to 'generic/proof-autoloads.el')
-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) |