From 9dd011c360dea5380ec003565c51185644d4c67f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 11 Aug 2010 16:43:47 +0000
Subject: Remove double provide

---
 generic/proof-site.el | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 7af1f7a0..4dfe1dcb 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -323,9 +323,6 @@ If ASSISTANT-NAME is omitted, look up in `proof-assistant-table'."
 
 	(setq assistants (cdr assistants)))))
 
-(provide 'proof-site)
-;; proof-site.el ends here
-
 (provide 'proof-site)
 
 ;;; proof-site.el ends here
-- 
cgit v1.2.3