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-toolbar.el | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

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

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index ba28c3a5..fc23aabd 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -1,6 +1,6 @@
 ;;; proof-toolbar.el --- Toolbar for Proof General
 ;;
-;; Copyright (C) 1998-2008  David Aspinall / LFCS.
+;; Copyright (C) 1998-2009  David Aspinall / LFCS.
 ;; Author:    David Aspinall <David.Aspinall@ed.ac.uk>
 ;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
@@ -23,8 +23,8 @@
 (eval-and-compile
   (require 'span)
   (require 'proof-utils)
-  (require 'proof-config)
-  (require 'proof-autoloads))
+  (require 'proof-config))
+
 
 ;;
 ;; Function, icon, button names
-- 
cgit v1.2.3