From 47bbb5d108309bdde3f8a0398f3869f2f805f87f Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Thu, 1 Mar 2012 15:49:43 +0000
Subject: fix compilation with emacs23-nox of Debian

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

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

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index 2b23053c..a0ea1921 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -23,7 +23,8 @@
 (eval-and-compile
   (require 'span)
   (require 'proof-utils)
-  (require 'proof-config))
+  (require 'proof-config)
+  (require 'tool-bar))			; needed for some emacsen without X
 
 
 ;;
-- 
cgit v1.2.3