From 10878ea946d2c0874bb5c369f8e85f263fc9fc05 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 6 Sep 2009 18:15:06 +0000
Subject: Include macros for compile

---
 generic/proof-toolbar.el | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 4c1e2506..2b31768b 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -19,14 +19,12 @@
 ;;
 
 ;;; Code:
-(eval-when-compile
-  (require 'proof-utils))
 
-
-
-(require 'span)
-(require 'proof-config)
-(require 'proof-autoloads)
+(eval-and-compile
+  (require 'span)
+  (require 'proof-utils)
+  (require 'proof-config)
+  (require 'proof-autoloads))
 
 ;;
 ;; Function, icon, button names
-- 
cgit v1.2.3