From f9a1b6f769bb2c6fa09dd3e845c09af3361b7e6d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 27 Aug 2010 11:28:36 +0000
Subject: Remove double footer

---
 generic/proof-maths-menu.el | 2 --
 1 file changed, 2 deletions(-)

diff --git a/generic/proof-maths-menu.el b/generic/proof-maths-menu.el
index 7d8db94d..ded6568a 100644
--- a/generic/proof-maths-menu.el
+++ b/generic/proof-maths-menu.el
@@ -54,8 +54,6 @@ in future if we have just activated it for this buffer."
   (if (proof-maths-menu-support-available)
       (proof-maths-menu-set-global (not maths-menu-mode))))
 
-(provide 'proof-maths-menu)
-;; End of proof-maths-menu.el
 
 (provide 'proof-maths-menu)
 
-- 
cgit v1.2.3