From 65d69a7a6a4a5aa5518fd55671d58b0b4a350fe2 Mon Sep 17 00:00:00 2001 From: Clément Pit-Claudel Date: Sat, 1 Sep 2018 13:08:48 -0400 Subject: Reloading proof-autoloads is safe; don't forbid it Fixes GH-386. Reported-by: @mrkkrp --- generic/proof-autoloads.el | 3 --- 1 file changed, 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) -- cgit v1.2.3