From 18001b891b646704bdd7d066fadab2595bfe1572 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 17 May 2005 19:12:27 +0000
Subject: Updated.

---
 generic/proof-autoloads.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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)
-- 
cgit v1.2.3