diff options
| -rw-r--r-- | generic/proof-autoloads.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el index 133d95ba..b828a997 100644 --- a/generic/proof-autoloads.el +++ b/generic/proof-autoloads.el @@ -1,5 +1,7 @@ ;;; DO NOT MODIFY THIS FILE (if (featurep 'proof-autoloads) (error "Already loaded")) + +(provide 'proof-autoloads) ;;;### (autoloads nil "_pkg" "generic/_pkg.el") @@ -252,4 +254,3 @@ Configure the current output buffer (goals/response/trace) for X-Symbol." nil ni ;;;*** -(provide 'proof-autoloads) |