From be494ff82987bac82e4bdd8b9033b4df291053df Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Tue, 18 Jan 2011 15:03:38 +0000
Subject: - fixed compilation errors

---
 generic/proof-shell.el | 9 +++++++++
 1 file changed, 9 insertions(+)

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

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index f5825516..dcd36a6c 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -922,6 +922,15 @@ This function calls `proof-add-to-queue'."
       (proof-set-queue-endpoints start end))
   (proof-add-to-queue queueitems queuemode))
 
+
+(defvar queueitems
+  "Local variable of `proof-extend-queue' and `proof-shell-extend-queue-hook'.
+This only locally used variable communicates the items that are
+about to be placed into the `proof-action-list' queue into the
+hook functions in `proof-shell-extend-queue-hook'. This is the
+price to pay for using a normal hook.")
+
+
 ;;;###autoload
 (defun proof-extend-queue (end queueitems)
   "Extend the current queue with QUEUEITEMS, queue end END.
-- 
cgit v1.2.3