From 282b31af3ecdbd06cbd79f97a833caf19bbef956 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 10 Sep 2009 21:52:37 +0000
Subject: Clean compile

---
 generic/proof-config.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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

diff --git a/generic/proof-config.el b/generic/proof-config.el
index 5a373493..360581b9 100644
--- a/generic/proof-config.el
+++ b/generic/proof-config.el
@@ -70,7 +70,8 @@
 
 (require 'proof-useropts)		; user options
 (require 'proof-faces)			; user options: faces
-
+(eval-when-compile
+  (require 'custom))
 
 ;;
 ;; Prelude
-- 
cgit v1.2.3