diff options
| -rw-r--r-- | generic/proof-autoloads.el | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el index dd92c16d..c3710c1a 100644 --- a/generic/proof-autoloads.el +++ b/generic/proof-autoloads.el @@ -3,9 +3,7 @@ ;;;### (autoloads nil "_pkg" "generic/_pkg.el") -; package-provide is not provided by FSFEmacs -(if (fboundp 'package-provide) - (package-provide 'ProofGeneral :version "3.3pre010320" :type 'regular)) +(package-provide 'ProofGeneral :version "3.3pre010320" :type 'regular) ;;;*** |