From 282b31af3ecdbd06cbd79f97a833caf19bbef956 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Sep 2009 21:52:37 +0000
Subject: Clean compile

---
 generic/proof-auxmodes.el | 1 -
 1 file changed, 1 deletion(-)

(limited to 'generic/proof-auxmodes.el')

diff --git a/generic/proof-auxmodes.el b/generic/proof-auxmodes.el
index f4f2a60f..e29bc753 100644
--- a/generic/proof-auxmodes.el
+++ b/generic/proof-auxmodes.el
@@ -11,7 +11,6 @@
 ;;
 
 (require 'proof-utils)			; proof-ass, proof-eval...
-(require 'proof-autoloads)		; aux mode functions autoloaded
 
 ;;; Code:
 
-- 
cgit v1.2.3