From 2d6b4150e681dfb09a75eab05c052a0fa04c621c Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 22 Oct 1998 16:01:38 +0000
Subject: Added todo for clean byte compile

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

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

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 31a70e9d..2795ea18 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -10,6 +10,8 @@
 ;; Toolbar is just for scripting buffer at  the moment.
 ;;
 
+(require 'proof-config)
+
 (defcustom proof-toolbar-wanted t
   "*Whether to use toolbar in proof mode."
   :type 'boolean
-- 
cgit v1.2.3