From 1e2ffd2bbc4bad316325e81e469611dd3b2b752c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 9 Jul 2001 15:37:51 +0000
Subject: Clean for compile

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

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index bbdb3020..17b62992 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -41,6 +41,8 @@
 ;; (autoload 'proof-shell-restart "proof-shell")
 
 
+(require 'proof-config)			; for <PA>-toolbar-entries
+
 ;;
 ;; See `proof-toolbar-entries-default' and
 ;;     `<PA>-toolbar-entries' in proof-config
-- 
cgit v1.2.3